úÎ^“     None:          (encoding-io-0.0.1-84a6II6B6Xv3FNhWQKLT3XSystem.IO.Encodingbase System.IOlocaleEncodingGHC.IO.Encodingchar8utf32beutf32leutf32utf16beutf16leutf16utf8_bomutf8latin1GHC.IO.Encoding.Types TextEncodingreadFileWithEncodingreadFileWithEncoding'writeFileWithEncoding