module ShouldSucceed where

p = [(y+2,True) | y <- [1,2]]