Report question

Question: Creating a parametrized module over a parametrized module