--- /dev/null
+import "JavaBuiltin" as Java\r
+\r
+importJava "java.io.Writer" where\r
+ data Writer\r
+\r
+importJava "java.io.StringWriter" where\r
+ data StringWriter\r
+ \r
+ @JavaName "<init>"\r
+ createStringWriter :: <Proc> StringWriter\r
+\r
+ @JavaName toString\r
+ resultOfStringWriter :: StringWriter -> <Proc> String\r
+\r
+class WriterLike a where\r
+ toWriter :: a -> Writer\r
+instance WriterLike StringWriter where\r
+ toWriter = Java.unsafeCoerce
\ No newline at end of file