RE: Type Families in Haddock