and :: Bool -> Bool -> Bool
and x y = _