[Observe-commits] 44/50: Permettre de générer des binders avec des types différents