Generic titling (labeling).
instance Title_f f => Title (f a) where title = title_f
To handle ambiguity for types like
( Char) -- aka
module is compiled with
UndecidableInstances. The more specific instance (yours) wins.
In defining your instance, you might want to use the String instance,
title ttl "".