base.As[X]

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