MonadErrorcannot be refactored as an algebra, because it has
F[_]in contravariant position (and the algebra could not have an
FunctorKas cats calls it)
Extensibility for the masses)
Seq. I'm looking into mostly using directly
Listbut I'm scared that it could make matters worse as it doesn't fuse and some of the collections hidden behind some of the
Seqmight do it.
the ideas behind final tagless are two:
This is a genius idea, not trivial at all, and the technique definitely deserves a name, especially when you take it in its entirety (e.g. do parsing or optimisations on final tagless languages)
monad-control, and so on
lenspulls in the whole world
I consider "mtl style" to be more general.
yeah, so I think we agree that "this thing" needs a name cause there are different things to talk about ;)
FFunctorfor an algebra, but it'd be nice to have something like