よくわからない・・・><
Tagged Types and Type Extensions http://www.adaic.com/resources/add_content/standards/05rm/html/RM-3-9.html
思考の /dev/null