1 2 3 4 5 6
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE KindSignatures #-} module Bug992 where data K (m :: * -> *) = K