Coalton should have an `(inline)` declaration syntax for declaring functions and method instances inline. See [here](https://github.com/coalton-lang/coalton/pull/987#issuecomment-1726270845) for prior discussion.