型付きlist定義