weakenFA :: OpenFun env aenv t -> OpenFun env (aenv,s) t
weakenFA = weakenByFA SuccIdx
weakenFA :: OpenFun env aenv t -> OpenFun env (aenv,s) t
weakenFA = weakenByFA SuccIdx
weakenFA = weakenByFA SuccIdx