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