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