In the `show_content` example, using first class modules: `module H : ...`. The type need to be specified and since module composition is hard, it leads to very

In the `show_content` example, using first class modules: `module H : ...`. The type need to be specified and since module composition is hard, it leads to very verbose solution