-- Merge parallel for loops
mergeParfor :: forall a m . (MonadSubst Var Var m, MonadSubst Var Exp m) => AST a -> a -> m a
mergeParfor VarA v        = lookupSubst VarA v VarA (return v)
mergeParfor :: forall a m . (MonadSubst Var Var m, MonadSubst Var Exp m) => AST a -> a -> m a
mergeParfor VarA v        = lookupSubst VarA v VarA (return v)
mergeParfor VarA v        = lookupSubst VarA v VarA (return v)