another way to lock developers into a specific type system for a static analyser to parse "errors" - just what i need, more hoops to jump through https://www.reddit.com/user/ketralnis