No matches were found for subject:"RE\: Type families and type inference \- a question"