We already have monads at home (return X, err)