I'm just astounded that a) this can be done, type level unique list checking and all and b) someone did it in response to a 5 minute question and c) at the beautiful beautiful type error message

Couldn't match type 'False with 'True
    Expected type: 'True
      Actual type: ServiceTypes.UniquePorts '[443, 80, 443]

Aka

Hey dude, you can't run a tor bridge and a web server on the same host
(given their default configurations)

We're truely living in the future of programming... well, some of us are, some of the time. Rest of us are patching bash. :)