Ummm. `B` will match a two-tuple just as well as a binary, there's no guard on it.