Type.Wrapped

type family Unwrapped a :: l