Run it with:
npm i && npm run build
Expect it to fail with:
Something is off with the body of the `init` definition:
19| { currency = aConfig.defaultCurrency }
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The body is a record of type:
{ currency : String }
But the type annotation on `init` says it should be:
Model
A piece of the code is intentionally in another module called OtherModule. If that code is moved inside MainModule, the problem is gone.