I think the *Syntax* page should explain `ado`? https://github.com/purescript/documentation/blob/52282671d755a37f9acaaaa8570c760487dd920b/language/Syntax.md