Type.Family.Tuple

type (#)

type family Fst (p :: (k, l)) :: k where ...

fstCong

type family Snd (p :: (k, l)) :: l where ...

sndCong

type family Fst3 (p :: (k, l, m)) :: k where ...

fst3Cong

type family Snd3 (p :: (k, l, m)) :: l where ...

snd3Cong

type family Thd3 (p :: (k, l, m)) :: m where ...

thd3Cong

type family (f :: k -> l) <$> (a :: (m, k)) :: (m, l) where ...

pairMapCong

type family (f :: (m, k -> l)) <&> (a :: k) :: (m, l) where ...

type family (f :: (m, k -> l)) <*> (a :: (m, k)) :: (m, l) where ...