pub type Mu<F> = Fix<F>;
Mu<F> is the least fixed point — structurally identical to Fix<F> in Rust, since Rust cannot enforce finiteness at the type level.
Mu<F>
Fix<F>
pub struct Mu<F>(/* private fields */);