
partializeTargets cset us = (cset, fmap (partialize cset . U) us)

ppBindings size vars vals =
  let nonZero 0 = Nothing
      nonZero n = Just n
  in Pretty.prettyPrint $ sizedPpVals (nonZero size) (zip vars vals)