Haskell and Lambda calculus enthusiast.