let (&&) a b = `And [a; b]