+ seqBndrs ids' `seq`
+ setSubst subst' (thing_inside ids')
+
+simplLetId :: InBinder -> (OutBinder -> SimplM a) -> SimplM a
+simplLetId id thing_inside
+ = getSubst `thenSmpl` \ subst ->
+ let
+ (subst', id') = Subst.simplLetId subst id
+ in
+ seqBndr id' `seq`
+ setSubst subst' (thing_inside id')