{-# LANGUAGE UnicodeSyntax #-}

foo :: forall a. (Show a) => a -> String
foo = const ()