chr -package:Agda package:HTF

A single Char fragment