some links

https://daml.com/
http://is.gd/OpaqueTypesInfinity
http://www.vlachjosef.com/aux-pattern-evolution
https://github.com/markus1189/how-this-presentation