[Ur] disjointness proof in type-level functions

[Sergey Mironov]

2013/8/7 Adam Chlipala <adamc at csail.mit.edu>:
> Isn't it actually fewer characters to write
>     [Id = int] ++ c_users
> instead, while also saving others who read your code from having to learn a
> new defined function?

Mm, simpler than I expected. I'll do it that way.

> Also, have you considered just referring to users by name to simplify your
> schema?

Yes, but seems I need generic case in my app: users should be able to
register themselves. I'll need user roles as well, and that is what
I'll refer to by name.

Thanks a lot!
Sergey