Add function specs to `Monad.Error` module