InstanceArgumentsModNotParameterised.agda:14,6-7
InstanceArgumentsModNotParameterised.C is not a parameterised
section.
when checking the module application module _ = C {{...}}