singletons-th: Remove unneeded kind annotation when singling case expressions#549
Merged
RyanGlScott merged 1 commit intomasterfrom T547Jan 2, 2023
+66-106
singletons-th: Remove unneeded kind annotation when singling case expressions#549