1 2 3 4 5 6 7 8 9
> data Goo a = Gsimpl | Gcompl ([Goo a]) > data Moo a b = Msimple | Mcompl (Moo b a) > idGoo :: Goo a -> Goo a > idGoo x = x > idMoo :: Moo a -> Moo a > idMoo x = x