Test.SmallCheck.Laws.Applicative

Applicative laws

identity

composition

homomorphism

interchange