inlineBaseDataS env stack sub (DPLeaf ty) =
  inlineBaseS env stack (subst sub ty)
inlineBaseDataS env stack sub (DPLeaf ty) =
  inlineBaseS env stack (subst sub ty)
inlineBaseDataS env stack sub (DPLeaf ty) =
  inlineBaseS env stack (subst sub ty)