第5章：型について語る ref: http://qiita.com/f81@github/items/f98e157210c0b83e5842