m a = T (s, m a)
Пишу для него стандартные инстансы, функтор и аппликатив достаточно очевидны, с монадой сложнее, пока получилось только с констрейнтом instance (Monoid s, Monad m, Comonad m) => Monad (T s m) where
Но монад, которые ещё и комонады не так уж много. Можно ли менее строгое ограничение навесить?
> T s m c
ну от моноида никуда не денешься наверное, а зачем ко-монад?
Taiwan Semiconductor Manufacturing Company аla Lens s t a b 🔪
Обсуждают сегодня