frameworkの分離が出来ていれば型マクロが使える世界線、良い感じに分離するモチベーションが高まるだろうか