prop_andIsLazyInSecondArgument i
  = testInt (false &&& undefined) i || True
prop_andIsLazyInSecondArgument i
  = testInt (false &&& undefined) i || True
prop_andIsLazyInSecondArgument i
  = testInt (false &&& undefined) i || True