- Turn off optimizations which inline calls to >>= for the Eff monad.
- **no-tco**: Boolean value that toggles `--no-tco`
- Turn off tail-call elimination.
- - **runtime-type-checks**: Boolean value that toggles `--runtime-type-checks`
- - Generate simple runtime type checks for function arguments with simple types.
- **verbose-errors**: Boolean value that toggles `--verbose-errors`
- Generate verbose error messages.
- **output**: String value that sets `--output=<string>`
'no-opts': '--no-opts',
'no-magic-do': '--no-magic-do',
'no-tco': '--no-tco',
- 'runtime-type-checks': '--runtime-type-checks',
'verbose-errors': '--verbose-errors',
'output': '--output'
}