b'
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.
'