whenE :: E.Exp t a -> Exp -> Exp
whenE e p = IfThenElseE (unE e) p (ReturnE UnitE)
whenE :: E.Exp t a -> Exp -> Exp
whenE e p = IfThenElseE (unE e) p (ReturnE UnitE)
whenE e p = IfThenElseE (unE e) p (ReturnE UnitE)