Docs for when/unfold/list