Recursive Definitions of Monadic Functions | Publicación