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

Index - +

+Type.ANat, Type.Analyse