System.IO.Encoding
readFileWithEncoding
readFileWithEncoding'
writeFileWithEncoding
data TextEncoding
latin1
utf8
utf8_bom
utf16
utf16be
utf16le
utf32
utf32be
utf32le
localeEncoding
char8