chr -package:cabal-install-solver package:Agda

A single Char fragment