inlineBaseS :: (Ord c, Ord tc, Ord tv)
  => TcEnv v c tc tv -> Set tc -> Type tc tv
  -> BaseInliner c tc tv (TypeRank, [(Weight, DataPat c tc tv)])
inlineBaseS _env _stack ty@(TcVar v)
  = return (DependsVar, always (DPLeaf ty))
inlineBaseS :: (Ord c, Ord tc, Ord tv)
  => TcEnv v c tc tv -> Set tc -> Type tc tv
  -> BaseInliner c tc tv (TypeRank, [(Weight, DataPat c tc tv)])
inlineBaseS _env _stack ty@(TcVar v)
  = return (DependsVar, always (DPLeaf ty))
inlineBaseS _env _stack ty@(TcVar v)
  = return (DependsVar, always (DPLeaf ty))