21 Likes
This is really great!
Regardless of whether you want to do dependently typed programming in Haskell (I usually don’t), visible forall and type patterns are a generally useful set of tools that will make it much more ergonomic to specify types by hand when necessary.
Thanks Serokell!
5 Likes