/posts/2017-07-28-different-type-definitionsを開いてください。