既存の文法を流用するのだいぶわかりにくいと思うけどな。typealiasがassociatedtypeになったのもそういうことじゃないのかな。