You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Yes, it's true that the interpretation of the type constructor would have to be "does the generator's type unify with the type constructor?" which is different from its interpretation for method calls. But I'm not sure that's a problem so much as a subtle difference.
There are some cases where you would not want the type constructor to affect type inference, for example with an indexed monad.
