Typing can be risky business. Ask Max.

He may be overlooking the idea that a type is supposed to be purely a fiction and has no reality in itself.