File "stdin", line 20, characters 0-7:
Error: Signature components for label test do not match: expected type
"qualification.M2.t = qualification.M2.M.t" but found type
"qualification.M2.t = qualification.M2.t".