This package defines classes which describe what subset of a type is valid as
ASCII, as well as a type constructor representing a value of a superset that is
known to be valid ASCII.