Removed records, extend the existing types; impl w/ Socket