Jump through more implicit hoops to fix kleisli-endo monoid syntax