Programming in a tagless-final style, naturally - View it on GitHub