Re: [Haskell-cafe] Forcing the kind in data

26 Jul 2016


      On 26 July 2016 at 20:36, Michael Roth  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@gmail.com
http://IvanMiljenovic.wordpress.com