\begin{code}
mkWWstr :: [Var] -- Wrapper args; have their demand info on them
- -- *Includes type variables*
+ -- *Includes type variables*
-> UniqSM ([Var], -- Worker args
CoreExpr -> CoreExpr, -- Wrapper body, lacking the worker call
-- and without its lambdas