module Rn065A where data T = T { a :: Int }