Switched from homebrewed Fix, Cofree and cata to ones from Kmett's packages.