let instantiate hs p = do_instantiate [] p hs