tup5Type :: (TupleType :<: t)
    => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e
    -> TypeRep t (a,b,c,d,e)
tup5Type = sugarSym Tup5_t
tup5Type :: (TupleType :<: t)
    => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e
    -> TypeRep t (a,b,c,d,e)
tup5Type = sugarSym Tup5_t
tup5Type = sugarSym Tup5_t