Séparer la définition de cotisation des entités.

https://cs.stackexchange.com/questions/45383/which-research-languages-have-a-stronger-typesystem-than-haskell-and-why
https://news.ycombinator.com/item?id=3117776

http://stackoverflow.com/questions/19081904/scala-difference-between-a-typeclass-and-an-adt

Learn you a Haskell define your own...

Ce que je fais c'est je définis des types qui sont des Records, mais de façon éclatée, ou des ADT (motif).
Et pour les listes ? Plusieurs contrat par individu ? Comment ils font en Haskell ?
Les cotisations sont des listes ?
Les namespaces ?
Et polymorphisme des record ?
Faudrait que je teste de coder ça en Haskell...