vvaluezipFree :: (Traversable f, Eq (f ()), MonadFail m)=> Free f a -> Free f b -> m (Free f c)-> Free f a-> Free f b-> m (Free f c)Peek#
vvaluezipFree_ :: (Traversable f, Eq (f ()), MonadFail m)=> Free f a -> Free f b -> m ()-> Free f a-> Free f b-> m ()Peek#