Base project for "Patterns in Types" jam, for LambdaJam Australia conference.