RedefinitionAsModule.ice:12: redefinition of `Sequence' as module