imm base.flows.Enumerated[E:imm]

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