在haskell前奏中有非常大的元组的实例。例如：
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k) => Ord (a, b, c, d, e, f, g, h, i, j, k)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (a, b, c, d, e, f, g, h, i, j, k)
Bounded，Read和Show也派生出类似的实例。 任何人都可以向我解释为什么这些实例被包含在前奏中？使用它们的数据类型是否常用，如果是，那么对于什么？你不能轻易地为这种数据类型派生自己的实例吗？