simpPartialApp.lean:3:4-3:5: warning: declaration uses `sorry`
simpPartialApp.lean:4:4-4:7: warning: declaration uses `sorry`
simpPartialApp.lean:6:16-6:19: warning: declaration uses `sorry`