m a -> (m a -> m b) -> m b

(><) :: (Gen a -> Gen a) -> (Gen a -> Gen a) -> (Gen a -> Gen a)
QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck
Combine two generator perturbing functions, for example the results of calls to variant or coarbitrary.
changeAttrs :: CHANGEATTRS a => a -> ([HtmlAttr] -> [HtmlAttr]) -> a
xhtml Text.XHtml.Strict, xhtml Text.XHtml.Frameset, xhtml Text.XHtml.Transitional
ext1T :: (Data d, Typeable1 t) => (forall e. Data e => e -> e) -> (forall f. Data f => t f -> t f) -> d -> d
syb Data.Generics.Aliases
Type extension of transformations for unary type constructors