not-so-typed mu combinator