複雑な型パラを省略するという面ではORTと似てるけど全く違うアプローチで面白い