Sto giocando con type-aligned sequences, e in particolare sto scherzando con l'idea di piegarli. Una sequenza di tipo allineato pieghevole simile a questa: class FoldableTA fm where
foldMapTA ::
Mentre studiavo più profondo Applicative sono venuto a Traversable, anche se conoscevo già Foldable da LYHGG, non ho visto il primo ancora, quindi ho iniziato a leggere il Haskell wiki about Traversab
data Tree t = Empty | Node t (Tree t) (Tree t)
Siamo in grado di creare l'istanza Functor e utilizzare fmap :: (t -> a) -> Tree t -> Tree a
Ma cosa succede se, invece di (t -> a) che voglio (Alber