2015-09-29 UTC
# M-kegan I also don't buy "does not occur in practice" as a general rule - of *course* you don't think it will occur in practice, the whole point is to design a solution which solves all the things you think *do* occur in practice. My argument is that you don't know what the end-user will do and making assumptions about how types are composed sounds like Trouble as end-users develop bodges to work around assumptions baked into