module OpAppP where data Bool : Set where false : Bool true : Bool _&&_ : Bool → Bool → Bool false && _ = false true && b = b