class Serial a

type Series a

data Cons a

cons

(><)

empty

(\/)

drawnFrom

cons0

cons1

cons2

cons3

cons4

cons5

class Testable a

depthCheck

smallCheck

test

(==>)

data Property

lift

neg

(*&*)

(*|*)

(*=>*)

(*=*)