Arrow does not allow to supply the other type, it ...
# arrow
l
Arrow does not allow to supply the other type, it always assumes the other type is
Nothing
.