May I kindly suggest that you also consider negative examples? I.e. situations where free monads are _not_ suitable.

For pedagogical purposes, the more obviously unsuitable they are, the better.

-- Kim-Ee