Data.Type.Conjunction

data f :&: g

fanFst

fanSnd

uncurryFan

curryFan

data f :*: g

parFst

parSnd

uncurryPar

curryPar

_fst

_snd