Higher order functional programming in PureScript's type system - View it on GitHub