↑opaque typealiasをつけたところで、依然として some Fooで受ける形にかけちゃいますよね