Hello all, Are any of the of the more exotic recursion schemes definable without a least-fixed point /Mu/ type? The only definitions of zygomorphism etc. I've seen use it. Thanks Stephen