MicroHs-0.15.0.0: tests/Ctx.hs

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 ()