constraint Typeable a removed in class Sizeable a

nameOf implemented with default signature
nameOf :: Typeable a => a -> String
extension DefaultSignatures enabled