Oℕ
что я не так сделал
Size: a a a
2020 January 29
AG
ну по идее наличие экспонент
Oℕ
ну по идее наличие экспонент
в смысле именно декартовых замыканий?
AG
декартовых думаю
AG
но это не точно, надо у иваныча уточнить
w
но это не точно, надо у иваныча уточнить
Эх, сча бы уточнить
Oℕ
но я понял, что я сильно натупил
AG
ну если по рабоче крестьянски, функторная сила это
str : Functor f => (a, f b) -> f (a, b)
str (a, fb) = map (MkPair a) fb
AG
а значит надо каррирование иметь
Oℕ
да у меня просто вопрос, что если там тензорное произведегние не декартово
Oℕ
карочи что я типа сделал:
взял функторы с деем - это симметричная замкнутая
взял функторы с деем - это симметричная замкнутая
Oℕ
определил там моноидальные хайер функторы
Oℕ
и потом типа решил монаду приклеить
Oℕ
но монады определил не правильно, через флаттен и пьюр
и даже не через хомсеты
и даже не через хомсеты
Oℕ
а типа флатмапом через замыкания
Oℕ
что-то определилось и даже автоматически тензорная сила появилась
Oℕ
для фримонады, которая по моему мнению должна быть хайер ордер монадой инстанс не пишется