imm base.flows.Enumerated[E]

imm .i: imm base.Nat -> …,
imm .e: E -> …,
imm .i: imm base.Nat -> …,
imm .e: E -> …,