Я вот тут подумал, а что если подправить uniplate так, чтобы он возвращал только уникальные значения? Тогда легко можно делать что-то вроде

[ id | A id _ <- universeBi a ]

чтобы получить _конечный_ список всех нужных полей.