Check a complex "unique" constraint with Ecto

I’d never thought of that before, thanks!