Mysterious error message

[Yardanico]

I think you might be misunderstanding what `distinct` is meant for. It's meant 
to create a new type from some existing type, yet make it so that you can't use 
any existing procs of that type on your new type without explicitly converting 
(not casting!) the distinct'd type to its base one. It's **not** meant to act 
as "I want the values to be different", and it seems like you understood it 
this way.