Describing Data...with free applicative functors (and more)-Kris Nuttycombe

[@RafaelSolaPACalsaverini]

This looks nice, but I think that I would have to see this in Haskell to really understand the mechanism. Scala's syntax still obscures a lot of the machinery for me.

[@elgireth]

Scala on steroids ;)