Resident in Melbourne, part-time Haskeller and laval Category Theorist. Work in the 'real world' for GE.
