Code for talk on Typeclass-driven Polymorphism given at LambdaJam Brisbane 2013