chr -package:incipit-base package:Agda

A single Char fragment