Data.Typeable and default instances