- Reifying a type family returns a TH family declaration
- Reifying a data constructor from a data instance attributes that
  constructor to the family (not the representation tycon)
- Ideally, we should have facilities to reify all type/data instances of a 
  given family (and the same for instances of a class).  I haven't added that
  here as it involves some API design.