Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
@aeva @Camwin If this seems obtuse, wait until you encounter this monstrosity in a language without upfront types. The type constraints will still be there, but implicit, maybe poorly documented or hidden in asserts. No thanks 🙃