weakenByE :: (forall t'. Idx env t' -> Idx env' t') -> OpenExp env aenv t -> OpenExp env' aenv t
weakenByE k = rebuildE (Var . k)
weakenByE :: (forall t'. Idx env t' -> Idx env' t') -> OpenExp env aenv t -> OpenExp env' aenv t
weakenByE k = rebuildE (Var . k)
weakenByE k = rebuildE (Var . k)