假设我们想要一个实例计数,假设a已经是Countable,那么我们可以相应地实现Countable (Maybe a)。instance Countable a => Countable (Maybe a)
count = map Just countable ++ [Nothing] 但是,如果我们想要一个具有多个上下文的实例呢count不接受任何参数,那么haskell应该如何判断a或b是什么意思呢?喜欢 instance (Countable a, Countable b) => Countabl