ghc/tests/stranal/should_compile/goo.lhs

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