module ShouldSucceed where

(al:am) = [y+1 | (y,z) <- [(1,2)]]