This needs to be updated to match the above; actually, since the tuple only has one value, it probably makes more sense to just do `case TCPSocket of`, and test against the raw value.