Touching up preso for Idris/Haskell talk