1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures #-} module UnnamedConstraintWildcard1 where foo :: Show _ => a -> String foo x = show x