chr -package:Agda package:pretty

A single Char fragment