[Haskell-cafe] Re: capture of idioms and patterns

- are there any prior art in documenting idioms and patterns in FP [...]

you got this backwards: what some folks call "idioms and (design) patterns" actually *is* FP, because it is just this: higher order functions. And it's been there some decades (lambda calculus). That also explains the absence of any Design Patterns/Gang-of-Four kind of book for Haskell - it's just not needed. (as you say, map and fold are your patterns.) Best - J.W.