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
Why is this step necessary? functional.cafe might not be the server where you are registered, so we need to redirect you to your home server first. Don't have an account? You can sign up here
functional.cafe