| A record with uniform fields may be turned into a list.
recordToList
  :: Rec (Const a) rs
  -> [a]
recordToList RNil = []
re
recordToList
  :: Rec (Const a) rs
  -> [a]
recordToList RNil = []
recordToList RNil = []