1 --!!! small class decl with local polymorphism;
2 --!!! "easy" to check default methods and such...
3 --!!! (this is the example given in TcClassDcl)
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 {}