understand why module Types is repeated everywhere

[o1-david]

a way to handle all the functors and the type unification (you can just say Types = Types instead of typing it for every types)