import "JavaBuiltin" as Java

importJava "java.lang.String" where
    substring :: String -> Integer -> Integer -> String

main = substring "01234" 1 4
--
123