On Wed, Feb 29, 2012 at 11:58 PM, AntC <anthony_clay...@clear.net.nz> wrote: > SORF's whadyoumaycalls are at the Kind level. (I'm not opposed to them > because they're new-fangled, I'm opposed because I can't control the > namespace.)
Nah, they have kinds, and they don't take parameters, so they're probably types. Whether you prefer that "foo" in module A mean the same thing as "foo" in module B is entirely up to you; while it might seem intuitive to do so, it's also true that if I write > data List t = Cons t (List t) | Nil in two different modules, I declare two entirely distinct list types, even if the "natural" semantics of the two types might be hard to distinguish. /g -- "Would you be so kind as to remove the apricots from the mashed potatoes?" _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users