1 2 3 4 5 6
type A :: * data A = Y -- Defined at <interactive>:2:1 type A :: * data A = Y -- Defined at <interactive>:2:1