Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/tests/conformance98/ctxsimpl/bad/Main.hs
module Ctx where f :: (Monad m, Eq a) => a -> m a -> Bool f x y = (return x == y)
