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