GHC does not know how to show Type a.
data FunctorExample a = FunctorExample { val1 :: a, val2 :: String