@anonymous > если гарантируется
Ну вот это меня и смущает. Хак какой-то.
А второе можно рассматривать как вариант сумтайпа. data Foo = A x | B y, аналог на динамике - ['A, x] и ['B, y], где со штрихами - это константы. Ну и здесь по аналогии, конфликтов точно нет, но при каждом использовании надо паттерн-матчить. Непонятно, хорошо это или плохо.
@queet5ee Так, стоп. Вообще, мне надо, чтобы айди можно было использовать там, где ожидается мап с данными, и наоборот. Так что через вектор не подходит. Вынести в метод этот айди, что ли, в метадату какую-нибудь