Switch to an erased list of entries
Switch to an erased list of entries

Still doesn't solve my problem with effect composition

FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar