Serokell’s Work on GHC: Dependent Types, Part 5 (via ehamberg) — discussion

#haskell