Serokell’s Work on GHC: Dependent Types, Part 5

This article continues the fine tradition of Serokell’s GHC team sharing their progress on bringing dependent types to Haskell. A lot has happened since the last report, and there is plenty to cover. ...