Test.QuickCheck.Classes
ordRel
ord
ordMorphism
semanticOrd
monoid
monoidMorphism
semanticMonoid
functor
functorMorphism
semanticFunctor
functorMonoid
apply
applyMorphism
semanticApply
applicative
applicativeMorphism
semanticApplicative
bind
bindMorphism
semanticBind
bindApply
monad
monadMorphism
semanticMonad
monadFunctor
monadApplicative
arrow
arrowChoice
traversable
monadPlus
monadOr
alt
alternative