<1148767953.846176.1670680875389@office.mailbox.org>
A trait that could e.g. be implemented for a HashMap, only succeeding when no values collide.