Мне для чего это понадобилось. Халявные теоремы очень легко считывать из коммутативных диаграммок:



Но для более сложных случаев тоже хочется оставаться на уровне стрелок, не привлекая аргументов типа xs, ys:



В последнем случае я не уверен, что это честная коммутативная диаграмма, но мне, как физику, пофиг: раз работает - в хозяйстве пригодится. Можно, конечно по-MLски: ([a],[a]) -> [a], но не хочется терять карринг :)