By "Free" data structures, we mean data structures that model the members of some type class.
Monoid
List
Functor
Coyoneda
Applicative
FreeAp
Monad
Free