сопряженных функторов не всегда возможно в контексте hs?
Оно всегда возможно, просто построенные категории будут у тебя в голове, а не в коде
Ну конкретно с клеисли не всё так плохо
Обсуждают сегодня