add one more test to catch a potential bug

[stevemao]

[stevemao]

My code:

  f =<< a = State b
    where b s = (eval state s, exec state . exec a $ s)
                  where state = f . eval a $ s

existing tests doest catch this but will fail later on.