import "JavaBuiltin" as Java

importJava "java.util.List" where
    data List a

    add :: List a -> a -> <Proc> Boolean

importJava "java.util.ArrayList" where
    @JavaName "<init>"
    arrayList :: Integer -> <Proc> List a

singleton :: a -> <Proc> List a
singleton el = result
  where
    result = arrayList 1
    r = add result el

main :: List Integer
main = runProc (singleton (13 :: Integer))
--
[13]