Code from my StrangeLoop 2014 Idris presentation.