The free applicative functor as a heterogeneous list.
tweak