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