Hey, #haskell I have a couple of recursive "GADTs" and a value of each, and I want to do a simultaneous fold / zip on them. The shared index on each ensures they are the same "shape" so I don't have to worry about mismatches.
I have folds for each type individually, but NOT pattern matching for either.
Any examples I can look at?
Follow
@BoydStephenSmithJr Can you fold on the index and do a projection from the cursor to children nodes in each of the streams?
