idDetails :: Id -> IdDetails
idDetails (Id { id_details = details }) = details
idDetails :: Id -> IdDetails
idDetails (Id { id_details = details }) = details
idDetails (Id { id_details = details }) = details