Hmm. well, `pure` and `return` would both expect ...

# arrow

[alex.hart]

Hmm. well, pure and return would both expect a right if we’re right-biased. Though I’m not sure how those laws translate to having these extra helper functions (unless there was something else you had in mind)