По-видимому, каждый Arrow
является Strong
profunctor. Действительно ^>>
и >>^
соответствуют lmap
и rmap
. А first'
и second'
такие же, как first
и second
. Аналогично, каждый ArrowChoice
также Choice
.
Какие недостатки у профунторов по сравнению со стрелками - это способность их составлять. Если мы добавим композицию, получим ли мы стрелку? Другими словами, если (сильный) профинант также является category, это уже стрелка? Если нет, то что не хватает?