typescriptであるパターンに従った型定義をしたい

typescriptの型定義であるパターン（たとえばメールアドレスや郵便番号）を型として表現したいと思ったことはないですか？
限界はあると思いますが、下記のように表現可能です。

type GMail = `${string}@gmail.com`;

const mail1: GMail = '[e-mail]';
const mail2: GMail = '[e-mail]'; // ERROR. Type '"[e-mail]"' is not assignable to type '`${string}@gmail.com`'.

type PostCode = `${number}-${number}`;

const postCode1: PostCode = '123-1234';
const postCode2: PostCode = 'aaa-aaaa'; // ERROR. Type '"aaa-aaaa"' is not assignable to type '`${number}-${number}`'.
const postCode3: PostCode = '12345678'; // ERROR. Type '"12345678"' is not assignable to type '`${number}-${number}`'.

正規表現ほど柔軟にできませんが、個人的には十分だなと感じました。
TypeScriptすごい。。。ちなみに、正規表現を使用して型判定したい場合ユーザ定義タイプガードを使って実装するというアイデアも使いどころはありますね。

declare const postCodeSymbol: unique symbol;
type PostCode = string & { [postCodeSymbol]: never };

// 正規表現にマッチした場合、vをPostCode型として型付けする
const isPostCode = (v: string): v is PostCode => {
  return /^\d{3}-\d{4}/.test(v);
}

const postCode = "123-1234";

// PostCode型を引数に取る
const setPostCode = (postCode: PostCode) => {
  console.log(postCode);
}

// isPostCodeによってPostCode型であると認識される
if (isPostCode(postCode)) {
  // ここではエラーでない
  setPostCode(postCode);
} else {
  // PostCode型として認識されてないのでエラー
  setPostCode(postCode); // ERROR. Argument of type 'string' is not assignable to parameter of type 'PostCode'.
}