module Main where

import Test.QuickCheck (quickCheck)
import Data.Niagra

main = do
  -- quickCheck prop_this