なるほど・・・関数型はタイピング量が多くなりがちだからtypealiasしたくなりがちなんですよね。でもまあmemberwise initのためにプロパティのところだけ書き下すしてもお釣りは来るなあ。