-- | Names for non-fields made available by the availability information
availNonFldNames :: AvailInfo -> [Name]
availNonFldNames (Avail _ n)        = [n]
availNonFldNames :: AvailInfo -> [Name]
availNonFldNames (Avail _ n)        = [n]
availNonFldNames (Avail _ n)        = [n]