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
Different-kinded types already fit in the type hierarchy, each under their own kind top-type, and then *everything* is a subtype of `AnyKind`. If we could get a type's "kind top-type" from the type, we could define these functional dependencies to enable elimination later.
Here's how that might look. Imagine we want to define an interface common to `Show` and `Functor`. def apply[F[T] <: AnyKind, S <: T.kind]: F[S] = ... apply[Show, String] apply[Functor, Show] apply[Functor, String] // error
Agreed, but Scala already made its decisive but arbitrary choice about partial unification in 2.12...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
