an extensible, practical and coherent algebra of query combinators - View it on GitHub