Added may instances to Unfold