読者です 読者をやめる 読者になる 読者になる

オーバーローディングが型推論できるんだから、タグ無しのバリアント型みたいのってできないのかな、という思いつき。便利かどうか知りませんけど。