Data.Type.Conjunction

data f :&: g

fanFst

fanSnd

(.&.)

fanFirst

uncurryFan

curryFan

data f :*: g

parFst

parSnd

uncurryPar

curryPar

_fst

_snd

data f :&&: g

exConjEq