Unreachable.agda:21,1-23,19
Unreachable clauses
when checking the definition of unreachable

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

Unreachable.agda:21,1-23,19
Unreachable clauses
when checking the definition of unreachable
