TLDR; A `suspend` function that returns `Nothing` ...

# arrow

[raulraja]

TLDR; A suspend function that returns Nothing does not need to exit with an exception. Ultimately it becomes a function that returns Unit since the exit case is moved as the Continuation generic on the compiler transformation. This is powerful both for typing and continuation passing style algebras and we can use it to make Arrow more ergonomic.