Improve Foldable instance of Free
Add Foldable instance for F