it should be defined in applicative I think, but d...
# arrow
j
it should be defined in applicative I think, but doesn't seem to be