{-# LANGUAGE KindSignatures #-}

module Bug992 where

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