Comment by yccs27

For me the `cochoice` function feels like a recursion scheme, possibly a hylomorphism of some functor?