735.40 s[genvalidity-sydtest] passed for all of 100 inputs.
735.40 s[genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "Maybe of ints :: (Maybe Int)" 0.20 ms
735.40 s[genvalidity-sydtest] passed for all of 100 inputs.
735.40 s[genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 0.32 ms
735.40 s[genvalidity-sydtest] passed for all of 100 inputs.
735.40 s[genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" 0.25 ms
735.40 s[genvalidity-sydtest] passed for all of 100 inputs.