-- | Bind all supplied binders over an expression in a nested lambda expression. Prefer to
-- use 'MkCore.mkCoreLams' if possible
mkLams        :: [b] -> Expr b -> Expr b

mkLams binders body = foldr Lam body binders
mkLams        :: [b] -> Expr b -> Expr b
mkLams binders body = foldr Lam body binders
mkLams binders body = foldr Lam body binders