(require "combinators.BRU")
[(bit-& (Y bit-&-impl))
 (bit-| (Y bit-|-impl))]