/posts/2018-06-20-why-scoped-type-variable-type-mismatches-typesを開いてください。