import "JavaBuiltin" as Java

importJava "java.math.BigInteger" where
    data BigInteger
    
    @JavaName "add"
    (+) :: BigInteger -> BigInteger -> BigInteger

    @JavaName "<init>"
    fromString :: String -> BigInteger

main = fromString "123" + fromString "234"
--
357