Thanks. Yeah, I don't understand the name. You could construct a basically-equivalent data structure in Haskell, but I think normally you'd use an HList (defin

Thanks. Yeah, I don't understand the name. You could construct a basically-equivalent data structure in Haskell, but I think normally you'd use an HList (defined in many places but e.g. https://hackage.haskell.org/package/HList-0.5.2.0/docs/Data-HList-HList.html https://hackage.haskell.org/package/HList-0.5.2.0/docs/Data-...). I've only occasionally had use for them myself, at any rate I don't think they're convenient for the "apply a function to all these elements" case.