typelevel/typelevel.github.com — pull request #29 by S11001001 (2014-09-19 18:08:03+00:00)
Title: New post: "Higher Leibniz"

The promised followup to #25, more fun with `Leibniz`.

/cc @xuwei-k whose [own Leibniz post](http://d.hatena.ne.jp/xuwei/20140706/1404612620) forms a basis for much of this one.