Traits as Type Universes Sep 26, 2022 A Programming Language Wishlist Jun 19, 2022