```purescript genMaybe' :: forall m a. MonadGen m => m a -> Number -> m (Maybe a) genEither' :: forall m a b. MonadGen m => m a -> m b -> Number -> m (Either a b) ```