testMul x y = fb (mulr (tb x) (tb y)) == fb (mul (tb x) (tb y))
    where
        tb = toBinNum
        fb = fromBinNum
testMul x y = fb (mulr (tb x) (tb y)) == fb (mul (tb x) (tb y))
    where
        tb = toBinNum
        fb = fromBinNum
testMul x y = fb (mulr (tb x) (tb y)) == fb (mul (tb x) (tb y))
    where
        tb = toBinNum
        fb = fromBinNum