Issue708quote.agda:9,1-29
Unreachable clause
when checking the definition of example

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

Issue708quote.agda:9,1-29
Unreachable clause
when checking the definition of example
