The GHC team at Serokell continues its work towards dependent types in Haskell. Our ultimate goal is that Haskell becomes a language where the use of advanced type system features is not just possible but practical.
In this report, Serokell's GHC team members Vladislav Zavialov and Andrei Borzenkov describe their recent contributions.