+import "Prelude"\r
+\r
+class Mul a b c | a b -> c where\r
+ mul :: a -> b -> c\r
+\r
+instance Mul Integer Integer Integer where\r
+ mul = (*)\r
+\r
+main :: Integer\r
+main = mul (mul (1 :: Integer) (2 :: Integer)) (3 :: Integer)\r
+--\r
+6
\ No newline at end of file