ZkFold.Base.Data.Product
uncurryP :: (f a -> g a -> b) -> (f :*: g) a -> b Source #
fstP :: (f :*: g) a -> f a Source #
sndP :: (f :*: g) a -> g a Source #