RE: Reading type families from interface files