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
The universal solution will only exist if all the Tᵢ are identical, otherwise we will find that, without loss of generality, GLB(Tᵢ) <: LUB(Tᵢ), which has no solutions. And this is where we must resort to using an existential type.
I find it beautiful that a solution exists in the dual, existential world, when it doesn't exist in the universal world, and that solution is found by calculating the type bounds using categorical duals of the algorithms for the (nonexistent) universal solution.
