and :: (a, b) -> Bool -> Bool -> Bool
and (a, b) x y = _