そういう概念を導入すると、
作り手だけでなくて、使い手にも圏論の知識を強要することにならないかな。

LINQ は、リレーショナルデータベースの文化を
OOP 言語に導入したものだから、
少なくとも SQL チックに select とか where ってキーワードを使ってる限り、
リレーショナルデータベースの文化を大きく逸脱するようなことは
しない方がいいと思う。

ヘジたんがクエリ式否定派（関数形式ばっかり使う）な理由も
そういうところにあるのかもね。