I'm not sure I propose adding it to base either :)

Relaxing `t` as the output is certainly correct. I'm not sure if there is a correct choice between Alternative or Monoid. That would be an indicator that a generic function of this form is arbitrarily opinionated.

On Thu, Oct 20, 2016 at 3:18 PM, Henning Thielemann <lemming@henning-thielemann.de> wrote:

On Thu, 20 Oct 2016, evan@evan-borden.com wrote:

I've given the performance hypothesis a test and it seems that a generic implementation outperforms the list
implementation. I'm not terribly sure why this is the case, but I also haven't dumped core.

Implementation and bench: https://github.com/eborden/partition

I do not propose to add this to 'base', but if you are after a generic implementation why is the input container type the same as the output type (both 't')? Why not using Alternative.<|> instead of Monoid.<> ?