3 ms·

I think that's the difference between initial encoding (free monad) and finally tagless ala Oleg. They're different but they get you a lot of the same stuff. Fi

I think that's the difference between initial encoding (free monad) and finally tagless ala Oleg. They're different but they get you a lot of the same stuff. Finally tagless never got a bandwagon tho.

platz 10y ago
In haskell, I think the mtl has quite a bandwagon.