{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE KindSignatures #-}

module Bug992 where

data K (m :: * -> *) = K