Recursion in monads, or when is recursion a computational e ect (0)

by D Friedman, A Sabry