chr package:Agda -is:exact

A single Char fragment