Re: [jhc] Is there a working example of type families usage?