FunctionalDependencies2.scl

   1 import "Prelude"
   2
   3 class Mul a b c | a b -> c where
   4     mul :: a -> b -> c
   5
   6 instance Mul Integer Integer Integer where
   7     mul = (*)
   8
   9 main :: Integer
  10 main = mul (mul (1 :: Integer) (2 :: Integer)) (3 :: Integer)
  11 --
  12 6