Issue309a.agda:6,18-18 Issue309a.agda:6,18: malformed syntax declaration: syntax must use unique argument names x g : D → D g (d x) = e x ...