We want to know whether we are allowed to insert unicode characters or not.
Instances10Bounded, Enum, Eq, Show, Generic, NFData, …
Bounded UnicodeOrAsciiDefined in Agda-2.8.0.2 · Agda.Syntax.Concrete.GlyphEnum UnicodeOrAsciiDefined in Agda-2.8.0.2 · Agda.Syntax.Concrete.GlyphEq UnicodeOrAsciiDefined in Agda-2.8.0.2 · Agda.Syntax.Concrete.GlyphShow UnicodeOrAsciiDefined in Agda-2.8.0.2 · Agda.Syntax.Concrete.GlyphGeneric UnicodeOrAsciiDefined in Agda-2.8.0.2 · Agda.Syntax.Concrete.GlyphNFData UnicodeOrAsciiDefined in Agda-2.8.0.2 · Agda.Syntax.Concrete.GlyphBoolean UnicodeOrAsciiDefined in Agda-2.8.0.2 · Agda.Syntax.Concrete.GlyphIsBool UnicodeOrAsciiDefined in Agda-2.8.0.2 · Agda.Syntax.Concrete.GlyphEmbPrj UnicodeOrAsciiDefined in Agda-2.8.0.2 · Agda.TypeChecking.Serialise.Instances.Errors · orphantype Rep UnicodeOrAscii = D1 ('MetaDataDefined in Agda-2.8.0.2 · Agda.Syntax.Concrete.Glyph"UnicodeOrAscii"
"Agda.Syntax.Concrete.Glyph"
"Agda-2.8.0.2-3KZoCGOoan2Kayji4DU37s"
'False) (C1 ('MetaCons"UnicodeOk"
'PrefixI 'False) U1 :+: C1 ('MetaCons"AsciiOnly"
'PrefixI 'False) U1)