There is a small typo in the 3.12 reference manual. In section 7.14 :
« The code above should how to use first-class modules to simulate
existentials. » (should how)