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.