[PFDS写経]GADTs拡張で型コンストラクタに制約をつける