Type families in the Pascal.Convert module