--- /dev/null
+import "JavaBuiltin" as Java\r
+\r
+importJava "java.util.List" where\r
+ data List a\r
+\r
+ add :: List a -> a -> <Proc> Boolean\r
+\r
+importJava "java.util.ArrayList" where\r
+ @JavaName "<init>"\r
+ arrayList :: Integer -> <Proc> List a\r
+\r
+singleton :: a -> <Proc> List a\r
+singleton el = result\r
+ where\r
+ result = arrayList 1\r
+ r = add result el\r
+\r
+main :: List Integer\r
+main = runProc (singleton (13 :: Integer))\r
+--\r
+[13]
\ No newline at end of file