3 ms·Interesting, didn't know it had something like type families. Thanks!by haskellandchill 9y agoInteresting, didn't know it had something like type families. Thanks!