Software Engineering Student at Massey University, with extreme interest in library/language design. Moving towards the FOP world. With specific interest in algebraic proofs at Type Level and moving errors to compile time rather than runtime.