Check exports functions to catch errors that would be too expensive or unwieldy to encode in types.

Stability: Experimental