module QualFunction where f :: (Show a, Show b) => a -- ^ -> b -- ^ -> String f x y = show x <> show y