12 Jul
2022
12 Jul
'22
8:36 a.m.
Does this help? (Foldable f, Foldable g) => Foldable (Compose f g) https://www.stackage.org/haddock/lts-19.15/base-4.15.1.0/Data-Functor-Compos... On Tue, Jul 12, 2022 at 07:09:47AM -0400, Ivan Perez wrote:
TL;DR: In Copilot, we have an ad-hoc notion of a nestable data structure that can be folded into a list. I'm trying to rely on standard classes as much as possible. Is there a known class to capture the idea of folding nested data structures (e.g., transitive foldable?)