You want to boost this toot:
A blog post about a very nice (and in my case, very useful) trick that kind of gives #haskell first-class type families : http://blog.poisson.chat/posts/2018-08-06-one-type-family.html
A blog post about a very nice (and in my case, very useful) trick that kind of gives #haskell first-class type families : http://blog.poisson.chat/posts/2018-08-06-one-type-family.html