[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