This was suggested by @JAForbes in <https://github.com/sanctuary-js/sanctuary-def/pull/149#issuecomment-300979196>.