admit it already, this looks weird
Elgot algebras given you a shortcircuitable hylomorphism where you can directly return a sub-answer to the catamorphism.
(from this website)
I may be dumb and unilluminated about category theory, but people saying (writing) things like these actually get me turned off from wanting to learn about Haskell. Don’t be surprised if Scala is going to be the next big thing in static typing.
Knowing about stuff like that is not a niche, its a niche in a niche.
