Either, Mu combinators