contractにわたすところがその式をまるまる渡すことしかできなくて、型パラメータを分離して受け取れないから、できない気がしてきた。