Auto-curry typify.check