I think this whole point could be postponed if we remove the ability to specify typeguards with multiple arguments.