https://github.com/akkartik/mu/blob/37c859058/apps/desugar.subx#L440

This post is part of my Freewheeling Apps Devlog.

Comments gratefully appreciated. Please send them to me by any method of your choice and I'll include them here.