<@U0RM4EPC7> is that `case` from `PartialFunction`...
# arrow
r
@simon.vergauwen is that
case
from
PartialFunction
in
kategory-core
?