Исправление dave, 26.10.17 07:23 (текущая версия) :
Нашел упоминание, что трансдьюсер может быть изоморфен стрелке Клейсли, но с некоторой степенью неуверенности
a -> [b]
Исходная версия dave, 26.10.17 07:22:
Нашел упоминание, что трасндьюсер может быть изоморфен стрелке Клейсли, но с некоторой степенью неуверенности