そうですね。最適化のヒントにすぎないようなものを型情報で取りまわすのが面白い。