Dependent types in Haskell

Dependent types in Haskell.
Serokell’s team has implemented part 1 of visible forall and improved name resolution and type checking of type patterns. Find out the details in our blog post.

Read in full here:

This thread was posted by one of our members via one of our news source trackers.