20 Jul
2010
20 Jul
'10
3:40 a.m.
On 19 July 2010 23:14, Thomas Schilling
I would be interested in a case where it actually *is* a good idea to use such contexts.
If you don't have kind signatures, you can use them as a hack to change the inferred kind for an EmptyDataDecl """ -- a has kind * data Foo a """ """ class Stupid a where unused :: a () -- a has kind (* -> *) data Stupid a => Foo a """ I think HList was using this kind of hack until recently. Cheers, Max