blob: 00282bb79e5ecb96ce143fd33e45cd04e9dd228d (
plain)
1
2
3
4
5
6
7
8
9
10
|
module Test where
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 b -> Moo a b
idMoo x = x
|