I'm wondering if there is a reason why this is missing, but if not, I proposed adding the following to Data.Functor.Identity. instance Show a => Show (Identity a) where show (Identity x) = "Identity " ++ show x John