chr -package:colour package:Agda

A single Char fragment