Working generation through to compilation of Data.FreeAgent.Types.*