You output 2 different types of `Out<T>`: `O...

# announcements

[jstuyts-squins]

You output 2 different types of `Out<T>`: OutInt and OutStr. What should the inferred type of your when expression be? It can't be Out<Int> nor Out<String> because then 1 of the is clauses would return an incompatible type