[Haskell-cafe] Forcing the kind in data
Michael Roth
list at mroth.net
Tue Jul 26 10:36:09 UTC 2016
Hi,
if I have:
data Foobar a b = Foobar
it has kind:
* -> * -> *
How can I force the kind to:
(* -> *) -> * -> *
?
Thank you!
More information about the Haskell-Cafe
mailing list