`TypeFamilies` support

[konsumlamm]

Quite some packages use TypeFamilies (e.g. vector). I know that it's already on your list, but I'm curious when we can roughly expect support for it? I don't want to pressure you though :).

[augustss]

I make no promises. There are a few things at the top of my list: quantified constraints, type families, using multiple os threads to avoid blocking execution during system calls. And there are always bugs to fix.

My best guess is that I'll do type families in the next few months. MicroHs is a hobby project so it's hard to know how much time I'll spend on it.

[augustss]

Perhaps I should make type families my next endeavor. A lot of things hinge on it.