Documentation

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 #