import "JavaBuiltin" as Java

importJava "java.util.Map" where
    data Context
    
    @JavaName get
    contextGet :: Context -> String -> a
    
    @JavaName put
    contextPut :: Context -> String -> a -> <Proc> ()