TyAppPat_NonlinearMultiAppPat.hs:13:6: error: [GHC-69710]
    Type variable ‘a’ is already in scope.
    Type applications in patterns must bind fresh variables, without shadowing.