なんでもクロージャだと戻り値全部関数だけど、型情報を持つことはできる？
ディスパッチするのに必要だよね？