I don't think you need a Monoid[L], just a Semigroup[L]. You only get the zero of R.