module M where

foo :: Eq a => a -> a -> Int
foo x y = if x == y then 1 else 2