GenMonad

ScalaCheckBinding