Agda-2.3.2.2: test/fail/MissingTypeSignatureInMutual.err

MissingTypeSignatureInMutual.agda:9,3-12
Missing type signature for left hand side pred zero