Pushing type-checker higher.