haskell,? А где почитать инстансы тайпклассов? Вот в документации к Monad пишут, что есть инстанс для Either e, а в коде его не видно. :info в ghci тоже не помогло — говорит, что инстанс есть (если испортировать Control.Monad.Instances), но сами определения не показывает. Как быть?