↰ base.repr.FRepr[T:imm]
base.repr.FRepr/1
base.repr.Repr/1
read #(_x: iso T, _inv: imm base.F[read T,imm base.Bool]): mut base.repr.Repr[T] -> …,