Data.Singletons.Tuple
data family Sing a
type STuple0 z
type STuple2 z
type STuple3 z
type STuple4 z
type STuple5 z
type STuple6 z
type STuple7 z
Data.Tuple
type family Fst a :: a
sFst
type family Snd a :: b
sSnd
type family Curry a a a :: c
sCurry
type family Uncurry a a :: c
sUncurry
type family Swap a :: (b, a)
sSwap