Based on some community feedback, I've added a bunch more sections:
* 
constructors
* 
Never
* 
recursive types
* 
number and comparable
* 
record and extensible record
* 
type aliashttps://twitter.com/joelquen/status/1161671740537413633 …
-
I haven't seen those names used much by the Elm community. Might be worth mentioning them as related terms that can come up though
Why are unary and binary special enough to warrant their own discussion/names? FWIW in Rust we'd call the first a unit struct, and the other two just structs (or I guess tuple structs since the fields don't have names but that's splitting hairs)