You can even get nominal typing with branded types if you need it. (Like for the newtype pattern)