Test.QuickCheck.Classes
ordRel
ord
ordMorphism
semanticOrd
monoid
monoidMorphism
semanticMonoid
functor
functorMorphism
semanticFunctor
functorMonoid
applicative
applicativeMorphism
semanticApplicative
monad
monadMorphism
semanticMonad
monadFunctor
monadApplicative
arrow
arrowChoice
traversable
monadPlus
monadOr
alternative