[Haskell-cafe] Folding nested foldables -- Known pattern?

[Ivan Perez]

Spam detection software, running on the system "mail.haskell.org", has
identified this incoming email as possible spam.  The original message
has been attached to this so you can view it (if it isn't spam) or label
similar future email.  If you have any questions, see
@@CONTACT_ADDRESS@@ for details.

Content preview:  Hi café 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?) [...]
   

Content analysis details:   (5.0 points, 5.0 required)

 pts rule name              description
---- ---------------------- --------------------------------------------------
 0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail provider
                            (ivanperezdominguez[at]gmail.com)
-0.0 SPF_PASS               SPF: sender matches SPF record
-0.0 BAYES_40               BODY: Bayes spam probability is 20 to 40%
                            [score: 0.2680]
 5.0 UNWANTED_LANGUAGE_BODY BODY: Message written in an undesired language
 0.0 HTML_MESSAGE           BODY: HTML included in message
 0.0 T_DKIM_INVALID         DKIM-Signature header exists but is not valid

The original message was not completely plain text, and may be unsafe to
open with some email clients; in particular, it may contain a virus,
or confirm that your address can receive spam.  If you wish to view
it, it may be safer to save it to a file and open it with an editor.

-------------- next part --------------
An embedded message was scrubbed...
From: Ivan Perez <ivanperezdominguez at gmail.com>
Subject: Folding nested foldables -- Known pattern?
Date: Tue, 12 Jul 2022 07:09:47 -0400
Size: 19358
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220712/425622f7/attachment.mht>