import Test.Tasty ( TestTree, testGroup )
import Test.Tasty.HUnit ( Assertion, assertEqual, testCase )
import Test.Tasty.QuickCheck (
import Test.Tasty ( TestTree, testGroup )
import Test.Tasty.HUnit ( Assertion, assertEqual, testCase )
import Test.Tasty.QuickCheck (
import Comparisons ( (~=) )
import FunctionValues ( FunctionValues(..), empty_values )
import Misc ( factorial )
import Comparisons ( (~=) )
import FunctionValues ( FunctionValues(..), empty_values )
import Misc ( factorial )