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

Index - ^

^Type.ANat, Type.Analyse