chr -package:rel8 package:Agda

A single Char fragment