cтек монад типа как в хаскелле:
newtype M a = M (ReaderT Environment (StateT State IO) a)
deriving (Functor, Applicative, Monad)
то в случае котов у нас нет возможности эти конфликты поиска имплиситов разрешить?
у хаскеля есть разные стеки, есть mtl, а есть mtl-tf
Обсуждают сегодня