|
|
|
|
|
|
by zozbot234
1743 days ago
|
|
|
If you want to mix and match effects without regard to order of composition, that's what Lawvere theories are for (commonly known as 'algebraic effects'). You're right that monads don't give you this, but there are ways of describing these patterns without resorting to "procedural" idioms. |
|
|