signifier :: [Char] -> Char -- fine
-- signifier :: Ord a => [a] -> a -- not fine
signifier xs = head (mySort xs)
signifier :: [Char] -> Char
signifier xs = head (mySort xs)
signifier xs = head (mySort xs)