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

Index - :

:$$:Type.ANat, Type.Analyse
:*: 
1 (Type/Class)Data.Model.Types, Data.Model
2 (Data Constructor)Data.Model.Types, Data.Model
:+:Data.Model.Types, Data.Model
:.:Data.Model.Types, Data.Model
:<>:Type.ANat, Type.Analyse