importJava "java.lang.StringBuilder" where
    data T
    
    @JavaName "<init>"
    new :: <Proc> T
    
    @JavaName append
    appendString :: T -> String -> <Proc> T
    
    @JavaName append
    appendInteger :: T -> Integer -> <Proc> T
    
    @JavaName append
    appendDouble :: T -> Double -> <Proc> T
    
    toString :: T -> <Proc> String