module Ctx where

foo :: Int -> (Eq a => a -> Int)
foo i a = if a==a then i else 0

main :: IO ()
main = do
  print $ foo 5 ()