module FunDep(main) where

class C a b | a -> b where
  f :: a -> b

--instance C Char Int where
--  f = chr

class Plus a b c | a b -> c, b c -> a, c a -> b where
  plus :: a -> b -> c