@@ -105,7 +105,7 @@ module Rel8
105 , catNonEmpty
105 , catNonEmpty
107 -- ** @ADT@
107 -- ** @ADT@
108− , ADT, ADTable, fromADT, toADT
108+ , ADT, ADTable
109 , BuildADT, buildADT
109 , BuildADT, buildADT
110 , ConstructADT, constructADT
110 , ConstructADT, constructADT
111 , DeconstructADT, deconstructADT
111 , DeconstructADT, deconstructADT
@@ -113,7 +113,7 @@ module Rel8
113 , AggregateADT, aggregateADT
113 , AggregateADT, aggregateADT
115 -- ** @HKD@
115 -- ** @HKD@
116− , HKD, HKDable, fromHKD, toHKD
116+ , HKD, HKDable
117 , BuildHKD, buildHKD
117 , BuildHKD, buildHKD
118 , ConstructHKD, constructHKD
118 , ConstructHKD, constructHKD
119 , DeconstructHKD, deconstructHKD
119 , DeconstructHKD, deconstructHKD