Import (Monad (Either String)) instance