inlineBaseDataS env stack sub (DPCon c cargs) =
  priorityCon c <$> mapM (inlineBaseDataS env stack sub) cargs
inlineBaseDataS env stack sub (DPCon c cargs) =
  priorityCon c <$> mapM (inlineBaseDataS env stack sub) cargs
inlineBaseDataS env stack sub (DPCon c cargs) =
  priorityCon c <$> mapM (inlineBaseDataS env stack sub) cargs