weakenFE :: OpenFun env aenv t -> OpenFun (env,s) aenv t
weakenFE = weakenByFE SuccIdx
weakenFE :: OpenFun env aenv t -> OpenFun (env,s) aenv t
weakenFE = weakenByFE SuccIdx
weakenFE = weakenByFE SuccIdx