Deokhwan Kim <dk at ropas.snu.ac.kr> writes: > Where is the Monad instance declaration of Either e? It is in Control.Monad.Error as well. Strange: the doc doesn't state it. I found out in ghci using: :module +Control.Monad.Error :info Either The relevant result is: instance Error e => Monad (Either e) -- Imported from Control.Monad.Error