関数型言語にもデザインパターンが考えられるのでは?

k.inabaさんによる。「Combinatorパターン。Monadパターン。Foldパターン。Unfoldパターン…」などと、関数型言語にもデザインパターンが考えられるのではないか、という話題。同感。ぜひまとめてほしい > どなたか。それとも…すでにどこかにある?
追記:id:thataさんがぐぐってくださったようです。