I think I’d much rather have a language-level (as opposed to documentation-generator-level) solution to this. One possibility is a Partial => constraint that gets added to the result type of all partial pattern matches. (As I understand it, PureScript has something like this.)