在Haskell中,有没有一种方法可以定义一个包含一堆类型约束的类型构造函数?

我有一大堆关于两个类型变量的数据类型和函数,它们要求类型 Eq , Ord 和 Show .我发现自己在写作

type Foo n t = (Eq n, Eq t, Ord n, Ord t, Show n, Show t) => Bar n t -- and
data Baz n t where
  Baz :: (Eq n, Eq t, Ord n, Ord t, Show n, Show t) => {
    f1 :: !n,
    f2 :: !t
  } -> Baz n t

到处都是。

有没有办法写这样的东西

type EqOrdShow d n t = (Eq n, Eq t, Ord n, Ord t, Show n, Show t) => d n t

这样我就可以写作了

type Foo n t = EqOrdShow Foo n t -- and
data Baz n t where
  Baz :: {f1 :: !n, f2 :: !t} -> EqOrdShow Baz n t

或者以其他方式为约束列表命名以避免重复?