1and :: (a, b) -> Bool -> Bool -> Bool 2and (a, b) False False = _w0 3and (a, b) False True = _w1 4and (a, b) True False = _w2 5and (a, b) True True = _w3 6 7