I think, you should add failure case.
Ex. `assertFalse xs ys` where `ys = [("foo", Integer 0), ("fuga", Real 1.9)]`