add :: Int -> Int -> Int
add x y = x+y

sub :: Num a => a -> a -> a
sub x y = x - y

class Foo a where
  foo :: a -> Int

main = print $ sub (add 1 2) 1