DefaultRuleSet
Laws
Discipline
scalatest
specs2
mutable
discipline
typelevel