Implementing monoid comprehensions I found a way t...

# arrow-contributors

[raulraja]

Implementing monoid comprehensions I found a way to do something wild with a DSL over all type classes

This works now:

select<Int, Int> { it * 40 } from 1.just() where { it > 20 }

It works polymorphically for any Kind<F, A> in the FunctorFilter hierarchy of MTL
as you go up the hirarchy you can add capabilities
most of the query combinators can be done with Functor, FunctorFilter, Applicative and MonadCombine.