[IsTom]

I think it's the part where he says you need additional separate module signature or to take two modules as parameters. With objects ocaml will infer object's signature for you and with modules you need to (directly or indirectly) pass it explicitely in arguments.