ghc-exactprint-0.3: tests/examples/MultipleInferredContexts.hs

{-# LANGUAGE PartialTypeSignatures #-}

f :: (Eq a, _, _) => a -> a -> Bool
f x y = x == y