Answer:

answer re: Is there a Codensity MonadPlus that asymptotically optimizes a sequence of MonadPlus operations?

Sep 1 '15

11

The following is all based on my (mis)understanding of this very interesting paper posted by Matthew Pickering in his comment: From monoids to near-semirings: the essence of MonadPlus and Alternative (E. Rivas, M. Jaskelioff, T. Schrijvers). All results are theirs; all mistakes are mine.

From free monoids to DList

…

Open Full Answer