__export ShouldSucceed Eq1{deq} f;
instance {Eq1 PrelBase.Int} = zdfEq1Int;
instance __forall [a] => {Eq1 a} -> {Eq1 [a]} = zdfEq1ZMZN;
1 class Eq1 a where {deq :: a -> a -> PrelBase.Bool} ;
1 f :: __forall [t] => {Eq1 [t]} -> [t] -> [t] -> PrelBase.Bool ;
1 zddmdeq :: __forall [a] => {Eq1 a} -> a -> a -> PrelBase.Bool ;
1 zdfEq1Int :: {Eq1 PrelBase.Int} ;
1 zdfEq1ZMZN :: __forall [a] => {Eq1 a} -> {Eq1 [a]} ;