base.As[X:iso,imm,mut,read]

imm #(x: X): X -> …,
imm #(x: X): X -> …,