import "Prelude"

class Mul a b c | a b -> c where
    mul :: a -> b -> c

instance Mul Integer Integer Integer where
    mul = (*)

main :: Integer
main = mul (mul (1 :: Integer) (2 :: Integer)) (3 :: Integer)
--
6