>>> unfoldMu (\i -> if i < 4 then Cons i (i + 1) else Nil) (0 :: Int) unfoldMu unFix (Fix (Cons 0 (Fix (Cons 1 (Fix (Cons 2 (Fix (Cons 3 (Fix Nil)))))))))