typelevel-1.2.3: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Type.Wrapped

Documentation

type family Unwrapped (a :: k) :: l Source #

Instances
type Unwrapped (Set a :: Type) Source # 
Instance details

Defined in Type.Set

type Unwrapped (Set a :: Type) = a