module ShouldFail where p = [(1::Int)..(2::Integer)]