1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures #-} module ParensAroundContext where f :: (_) => a -> a -> Bool f x y = x == y