lets encode ALL type-applications with FAppTy
asdad