定義9 xだけからなる列 (: <> (-> GSymbol GSequence)) (define (<> x) (gsequence+ (expt 2 x))) 問題なし 定義10 xをカッコに入れた列 えーとこのxは列だな 記号じゃない 定義9のxは記号 まぎらわしい こういうまぎらわしいところを型チェックが見てくれる…