checks :: ()

+++ OK, passed 1 tests (exhausted).

+++ OK, passed 1 tests (exhausted).

+++ OK, passed 1 tests (exhausted).


checks :: Bool

+++ OK, passed 2 tests (exhausted).

+++ OK, passed 4 tests (exhausted).

+++ OK, passed 8 tests (exhausted).


checks :: Int

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: Integer

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: Char

+++ OK, passed 97 tests (exhausted).

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: Ordering

+++ OK, passed 3 tests (exhausted).

+++ OK, passed 9 tests (exhausted).

+++ OK, passed 27 tests (exhausted).


checks :: [()]

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: [Bool]

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: [Int]

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: [Integer]

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: [Char]

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: [Ordering]

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: ((),Int)

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: (Bool,Char)

+++ OK, passed 194 tests (exhausted).

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: (Int,(),Bool)

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: (Ordering,Char,Integer)

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: Maybe ()

+++ OK, passed 2 tests (exhausted).

+++ OK, passed 4 tests (exhausted).

+++ OK, passed 8 tests (exhausted).


checks :: Maybe Int

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.


checks :: Either () Bool

+++ OK, passed 3 tests (exhausted).

+++ OK, passed 9 tests (exhausted).

+++ OK, passed 27 tests (exhausted).


checks :: Either Int Char

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.

+++ OK, passed 500 tests.