argh, handle fixpoint List