import "Simantics/Variables"
   
instantiateUnderAction :: Variable -> Resource -> <Proc> ()
instantiateUnderAction ruleVariable context = do
   syncWrite (\x -> do
     typeToInstantiate = singleObject (represents $ parent ruleVariable) MOD.InstantiateUnder.HasType
     typeVariable = resourceVariable typeToInstantiate
     fn = typeVariable#methods#instantiateUnder :: Resource -> Resource -> <WriteGraph> Resource
     fn context typeToInstantiate)
   ()