let
instantiate hs p = do_instantiate [] p hs