This makes `Gen` a monad which enables polymorphis...
# arrow-contributors
r
This makes
Gen
a monad which enables polymorphism and all the arrow combinators over Gen