vvalue
tripping :: (MonadTest m, Applicative f, Show b, Show (f a), Eq (f a), HasCallStack)=> a-> a -> b-> b -> f a-> m ()
:: a typeCtrl KGHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12
Modulehedgehog-1.7