Migrate over the algebraic datatypes extension.