Oh, I see. They may implicate each other, but I don't think we can restrict the bucket-type in a 1-1 mapping to data type. How do you propose achieving that?