
26 Jul
2016
26 Jul
'16
6:36 a.m.
Hi, if I have: data Foobar a b = Foobar it has kind: * -> * -> * How can I force the kind to: (* -> *) -> * -> * ? Thank you!