Scalaz typeclasses and Playframework2 typeclasses. Playframework2 Scalacheck bindings