5 ms·data Ty a where Int :: Ty Int Bool :: Ty Bool ...by def-lkb 8y agodata Ty a where Int :: Ty Int Bool :: Ty Bool ...