mkLam :: [OutBndr] -> OutExpr -> SimplCont -> SimplM OutExpr
-- mkLam tries three things
--      a) eta reduction, if that gives a trivial expression
--      b) eta expansion [only if there are some value lambdas]

mkLam [] body _cont
  = return body
mkLam :: [OutBndr] -> OutExpr -> SimplCont -> SimplM OutExpr
mkLam [] body _cont
  = return body
mkLam [] body _cont
  = return body