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