typelevel-1.2.2: Useful type level operations (type families and related operators).
Type.Wrapped
type family Unwrapped (a :: k) :: l Source #
Instances