[Haskell-cafe] Forcing the kind in data

[Ivan Lazar Miljenovic]

On 26 July 2016 at 20:36, Michael Roth <list at mroth.net> wrote:
> Hi,
>
> if I have:
>
>     data Foobar a b = Foobar
>
> it has kind:
>
>     * -> * -> *
>
> How can I force the kind to:
>
>      (* -> *) -> * -> *

{-# LANGUAGE KindSignatures #-}

data Foobar (a :: * -> *) (b :: *) = Foobar

-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
http://IvanMiljenovic.wordpress.com