chr -package:HTTP package:Agda

A single Char fragment