Опечатка в главе 8.6 "Композиция монад" (порядок в паре)

[Kakadu]

В определении return перепутаны элементы пары. Должно быть

type State s = StateT s Identity 
newtype StateT s m a= StateT { runStateT :: s->m (a,s) }
newtype Identity a=Identity{ runIdentity::a }

instance (Monad m) => Monad (StateT s m) where
  return a = StateT $ \s -> return (s, a)
  a >>= f  = StateT $ \s0 -> 
     runStateT a s0 >>= \(b, s1) -> runStateT (f b) s1

instance Monad m => Applicative (StateT s m) where
  pure = return
  (<*>) f arg = f >>= \f -> arg >>= \arg -> return $ f arg

instance Monad m => Functor (StateT s m) where
  fmap f x = pure f <*> x

[anton-k]

Спасибо, зоркий глаз :)

У меня к сож сейчас нет возможности обновлять книгу, просто кроме принятия в коде ещё обновить пдф и сайт, но нет возможности качественно этим сейчас заниматься.

Я могу принять PR, но на видимом контенте это скорее всего не отобразится

[anton-k]

Я планирую этим заняться, но пока не знаю когда..