/posts/2017-10-12-nonempty-islist-instance-wastes-type-safetyを開いてください。