I'm interested in Control.Monad.Freer, but I would need some kind of tutorial aimed at a low-intermediate level.

Also I think "data a la carte" might be applicable to me, but again I would need some kind of tutorial.