import "Prelude"

importJava "java.lang.Exception" where
    @JavaName "<init>"
    createException :: String -> <Proc> Exception

main = throw (createException "Foo") `catch` \(e :: Exception) -> print e
--
java.lang.Exception: Foo
()