Type.Family.Tuple

type (#)

type family Fst p :: k

fstCong

type family Snd p :: l

sndCong

type family Fst3 p :: k

fst3Cong

type family Snd3 p :: l

snd3Cong

type family Thd3 p :: m

thd3Cong

type family f <$> a :: (m, l)

pairMapCong

type family f <&> a :: (m, l)

type family f <*> a :: (m, l)