module Definitions where data Rec = Rec { tup :: (Int, Int) }