Standard properties for functions on Validity types