Discipline
specs2
mutable
discipline
typelevel