This episode continues the discussion of Swierstra's paper "Datatypes \xe0 la Carte", explaining how we can decompose a datatype into the application of a fixed-point type constructor and then a functor.\xa0 The functor itself can be assembled from other functors for pieces of the datatype.\xa0 This makes modular datatypes possible.