Sum type constructor declaration subtlety (and documentation wanted!)


RWO now has some coverage of this:

It’s in the end of the opening section.



FYI, for reasons I can’t explain, DNS will not currently resolve the address. :frowning:


Odd. I can see it fine. @avsm has been doing some DNS migrations, so I’m sure that’s related.


The DNS now resolves okay.


I’ve been doing some shuffling to move some of the infrastructure to GitHub Pages’ new Letsencrypt hosting. It should be stable now; please let me know if not.


BTW, I think opinions on phrasing this have stabilized enough that a pull request to the main documentation would probably be appropriate now. Anyone disagree?