@tarunon AとBにそれぞれのEを返すメソッドなりプロパティなりがあって、typealiasを省略できる書き方にしたらどう？