I’m probably missing something obvious, but at a quick first glance I couldn’t spot it: How does this pattern compose? I.e. how can I inject reusable “subalgebras” (like Functor/Applicative/Monad) as combinators into my app/lib’s closed custom algebra?