Недавно возник вопрос о связи между DList ‹-> [] и Codensity ‹-> Free . Это заставило меня задуматься, а есть ли такое для MonadPlus . Монада Codensity улучшает асимптотическую производительность только для монадических операций, но не...