module T7151 where type Foo = [Int, String]