TypeApplications does not imply AllowAmbiguousTypes