main :: IO ()
main = defaultMain
  [
    bgroup "BigWord-Integer comparison"
      [
        bigWordIntegerTest 0 $ Proxy @(BigWord 0),
        bigWordIntegerTest 1 $ Proxy @(BigWord 1),
        bigWordIntegerTest 2 $ Proxy @(BigWord 2),
        bigWordIntegerTest 3 $ Proxy @(BigWord 3),
        bigWordIntegerTest 4 $ Proxy @(BigWord 4),
        bigWordIntegerTest 5 $ Proxy @(BigWordStep 4 1),
        bigWordIntegerTest 6 $ Proxy @(BigWordStep 4 2)
      ]
  ]
main :: IO ()
main = defaultMain
  [
    bgroup "BigWord-Integer comparison"
      [
        bigWordIntegerTest 0 $ Proxy @(BigWord 0),
        bigWordIntegerTest 1 $ Proxy @(BigWord 1),
        bigWordIntegerTest 2 $ Proxy @(BigWord 2),
        bigWordIntegerTest 3 $ Proxy @(BigWord 3),
        bigWordIntegerTest 4 $ Proxy @(BigWord 4),
        bigWordIntegerTest 5 $ Proxy @(BigWordStep 4 1),
        bigWordIntegerTest 6 $ Proxy @(BigWordStep 4 2)
      ]
  ]
main = defaultMain
  [
    bgroup "BigWord-Integer comparison"
      [
        bigWordIntegerTest 0 $ Proxy @(BigWord 0),
        bigWordIntegerTest 1 $ Proxy @(BigWord 1),
        bigWordIntegerTest 2 $ Proxy @(BigWord 2),
        bigWordIntegerTest 3 $ Proxy @(BigWord 3),
        bigWordIntegerTest 4 $ Proxy @(BigWord 4),
        bigWordIntegerTest 5 $ Proxy @(BigWordStep 4 1),
        bigWordIntegerTest 6 $ Proxy @(BigWordStep 4 2)
      ]
  ]