Serokell’s Work on GHC: Dependent Types, Part 5
Haskell Community [Unofficial]
June 2, 2026
About the Tuple type family. In Tuple (Int, Bool), does the (Int, Bool) have kind Tuple2 Type Type?
Discussion in the ATmosphere