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 · a64b84b · 2026-10-19
Modulehedgehog-1.7