Type Alias Typeclass

Union of all typeclass names.