Add details about how type families could aid instance resolution
The OFFSET patch has already been merged.