Safe HaskellSafe-Inferred
LanguageHaskell2010

Bug1050

Documentation

newtype T :: (forall k. k -> Type) -> forall k. k -> Type where #

Constructors

MkT :: forall (f :: forall k. k -> Type) k (a :: k). f a -> T f a 

mkT :: forall {k} {f :: forall k. k -> Type} {a :: k}. f a -> T f a #