module StaleRecord where data Record = Record { a :: Int, -- ^ ... b :: String }