there's some discussion of that in the semantics s...
# arrow
j
there's some discussion of that in the semantics section on https://github.com/arrow-kt/kotlin/pull/6 I think