-- | Try to inline a definition.
inlineS :: (Ord c, Ord tc, Ord tv)
  => TcEnv v c tc tv -> Set tc -> Type tc tv -> Inliner tc [(Weight, DataPat c tc tv)]
inlineS _env _stack ty@(TcVar _) = return $ always (DPLeaf ty)
inlineS :: (Ord c, Ord tc, Ord tv)
  => TcEnv v c tc tv -> Set tc -> Type tc tv -> Inliner tc [(Weight, DataPat c tc tv)]
inlineS _env _stack ty@(TcVar _) = return $ always (DPLeaf ty)
inlineS _env _stack ty@(TcVar _) = return $ always (DPLeaf ty)