Matthias # 🔖 Beyond Inductive Data Types: Exploring Self-Types. How to encode inductive data types in Kind’s type system. Post Comment Message