UnitArbitrary

ScalazArbitrary

Unwriter

scalaz

UpperConstrained

typelevel