add error instance for Monad