帰納型の族の話をよくあるエラーではなく帰納型の例として紹介する

帰納型の族の話をよくあるエラーではなく帰納型の例として紹介する #1007