Andres Löh - Evolving datatypes

We'll look at how type-level programming and techniques from datatype-generic programming can be used to describe a history of datatypes that evolve overtime. Such a history can then be used to derive generic functions that are history-aware, such as for example deserialization functions that can parse old versions and migrate them on the fly.