Issue2899.agda:7,1-4
The following mixfix names do not have an associated fixity
declaration: _+_, _∷_

———— All done; warnings encountered ————————————————————————

Issue2899.agda:7,1-4
The following mixfix names do not have an associated fixity
declaration: _+_, _∷_
