First-class functional references generalized for monadic and IO computations.