小编G. *_*ues的帖子

类型类Data. Bits有一个方法，如果参数的类型是有符号类型，isSigned :: a -> Bool则返回该方法。True文档明确指出该参数被忽略。类型类中还有其他类似的方法；还有其他类型类也具有此类方法。我的问题：为什么选择这样的设计？该值仅取决于类型，所以为什么不只是：

isSigned :: Bool

作为后续：假设我有一个带有 nullary method 的自定义类型类method :: Bool。是否有任何理由改变它并这样做Data.Bits，即method :: a -> Bool？