module RecordImport2_Export2 where

data R = R { correct :: Double }