One typecheck wrapper.