haskell - 范围类型声明可能吗？

Question

是否可以执行以下操作:

foo = bar
    where
        type A = (Some, Huge, Type, Sig)

        meh :: A -> (A, A) -> A

我只需要在 where 子句中使用此自定义类型，因此全局定义它没有意义。

Answer 1

这是不可能的。为什么不直接在函数上面定义它呢？您不必从模块中导出它(只需使用显式导出列表)。

顺便说一句，如果您确实有这么大的类型，这可能表明您应该将其分解为更小的部分，特别是如果您有很多元组，如您的示例所示；数据类型会更合适。