在哪里可以找到有关检查给定类型类实例是否正确的最小法律子集的文档？
例如，我从Typeclassopedia知道Monad只能使用＆＃34; 3 Monad法律定义＆＃34;，这些就足以证明法律和＃34 ;继承自＆＃34;来自Applicative＆amp; Functor。
我挣扎的一个具体例子是CoflatMap类型，我并不熟悉。我需要证明什么才能确保它是正确的？在cats CoflatMapLaws中，FunctorLaws定义了5条法则并继承了source code中的更多法律，但我假设有一个较小的集合足以证明所有其他法律。