-- | The smart constructor for @RecordT@s. This
-- will return a @RecordT@ if and only if the type is a record.
recordT :: forall a. Data a => Maybe (RecordT a)
recordT = recordTAt 0
recordT :: forall a. Data a => Maybe (RecordT a)
recordT = recordTAt 0
recordT = recordTAt 0