Bug1050
newtype T :: (forall k. k -> Type) -> forall k. k -> Type where #
Constructors
mkT :: forall {k} {f :: forall k. k -> Type} {a :: k}. f a -> T f a #