`() -> Unit` or `() -> IO<Unit>` ?
# arrow
s
() -> Unit
or
() -> IO<Unit>
?