On 2021-06-21 22:52 +0200, Marc Nieper-Wißkirchen wrote:
> The multi-valuedness of fxmapping-find is not the main point. It is about
> splitting and reuniting code paths.

Agreed.  Apologies, I wasn't thinking clearly.  This was precisely
the kind of thing we were handling with Maybe several drafts ago.

Fixed.  The fxmapping-find implementation is simpler as a result,
a sign that this was the right thing in the first place.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"Abstraction lies at the heart of all programming languages."
--Greg Michaelson