+ "`readContentsWithCharset \"charset\" \"file\"` reads all lines of the file whose name is given as a parameter using the given charset."
+ readContentsWithCharset :: String -> String -> <Proc> String
+
+ """
+ Creates a new file with the given file name whose contents are the given lines.
+ The written file will be UTF8 encoded.
+ """