tests for abMapLefts and abMapRights. Arbitrary instance for ABList