We already have monadic comprehensions, cartesian ...

# functional

[raulraja]

We already have monadic comprehensions, cartesian builders, emulation of higher kinds and the most popular typeclasses