First-class functional references generalized for monadic and IO computations. - View it on GitHub