I'm happiest with putting everything into one !eff...
# arrow
d
I'm happiest with putting everything into one !effect, even though there's some type loss on the failure.