A talk given at [BayHac 2014](http://www.haskell.org/haskellwiki/BayHac2014)