fiddling with AppTy in fixpoint