Math PhD. student and functional programming enthusiast.