-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/

@package test
@version 0.0.0

module Bug992
data K (m :: Type -> Type)
K :: K (m :: Type -> Type)