{-# LANGUAGE NoImplicitPrelude #-}

module RecordImport_Export where

data R = R Integer