1 2 3
type T :: * -> * -> * type T = (->) @{LiftedRep} @{LiftedRep} :: * -> * -> * -- Defined at <interactive>:3:1