GenMonad
ScalaCheckBinding
GlorifiedTuple
scalaz