GenInstances

scalacheck

genMonad

GenInstances