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.