implemented unfold on colist