C++ Technical Report 1
Boostを基にしている。
関数呼出式から、戻り値の型を決める機構。