SyntaxFix
Write A Post
Hire A Developer
Questions
Subtyping is appropriate and more powerful where the invariants can be enumerated, else use function composition for extensibility.