Safe Haskell	Safe-Inferred
Language	Haskell2010

Bug1050

Documentation

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

Constructors

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

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