Issue308a.agda:6,18-18
Issue308a.agda:6,18: malformed
syntax declaration: syntax must alternate holes and non-holes
x<ERROR> f : D → D f x = d d x ...