ModuleInMutual.agda:7,3-9,12
Modules are not allowed in mutual blocks