model-0.3: Derive a model of a data type using Generics