Safe Haskell	Safe-Inferred

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 k1. k1 -> Type) (a :: k). f a -> T f a #