--- /dev/null
+importJava "java.util.List" where\r
+ data List a\r
+ \r
+ @JavaName add\r
+ addList :: List a -> a -> <Proc> Boolean\r
+\r
+importJava "java.util.ArrayList" where\r
+ @JavaName "<init>"\r
+ newList :: () -> <Proc> (List a)\r
+\r
+main = do\r
+ l = newList ()\r
+ addList l (3 :: Integer)\r
+ l\r
+--\r
+[3]
\ No newline at end of file