Revert to markuru and complete post about monoidal errors.