1 -- !!! small class decl with local polymorphism;
2 -- !!! "easy" to check default methods and such...
3 -- !!! (this is the example given in TcClassDcl)
5 module ShouldSucceed where
9 op2 :: Ord b => a -> b -> b -> b
12 op2 x y z = if (op1 x) && (y < z) then y else z
14 instance Foo Int where {}
16 instance Foo a => Foo [a] where {}