Class BavetFilterTriTuple<A,​B,​C>