chr -package:base package:Agda

A single Char fragment