testAdd x y = fb (addr (tb x) (tb y)) == fb (add (tb x) (tb y))
    where
        tb = toBinNum
        fb = fromBinNum
testAdd x y = fb (addr (tb x) (tb y)) == fb (add (tb x) (tb y))
    where
        tb = toBinNum
        fb = fromBinNum
testAdd x y = fb (addr (tb x) (tb y)) == fb (add (tb x) (tb y))
    where
        tb = toBinNum
        fb = fromBinNum