Base project for "Patterns in Types" jam, for LambdaJam Australia conference. - View it on GitHub