importJava "java.util.List" where data List a @JavaName add addList :: List a -> a -> Boolean importJava "java.util.ArrayList" where @JavaName "" newList :: () -> (List a) main = do l = newList () addList l (3 :: Integer) l -- [3]