Free Monads Explained (pt 1)
Building composable DSLs
medium.com