weakenByEA :: (forall t'. Idx aenv t' -> Idx aenv' t') -> OpenExp env aenv t -> OpenExp env aenv' t
weakenByEA k = rebuildEA rebuildOpenAcc (Avar . k)
weakenByEA :: (forall t'. Idx aenv t' -> Idx aenv' t') -> OpenExp env aenv t -> OpenExp env aenv' t
weakenByEA k = rebuildEA rebuildOpenAcc (Avar . k)
weakenByEA k = rebuildEA rebuildOpenAcc (Avar . k)