$Keys $Values $ReadOnly $Exact $Diff<A, B> $Rest<A, B> $PropertyType<T, k> $ElementType<T, K> $NonMaybeType $ObjMap<T, F> $TupleMap<T, F> $Call Class $Shape $Supertype $Subtype Existential Type (*)