haskell - 为什么多态类型同义词不像实例中的多态数据声明那样工作？

Question

Vec2 用作数据声明，但我尝试在这种情况下用元组废弃我的样板:

{-# LANGUAGE FlexibleInstances #-}

type Vec2 a = (a,a)

class Vector v where 
  foo :: v Integer

instance Vector Vec2 where 
  foo = (1,2)

Answer 1

不能部分应用类型同义词。因为它们本质上是类型级别的函数，所以决定部分应用的类型同义词之间的相等性类似于决定外延等价性。

你完全有能力做类似的事情

{-# LANGUAGE FlexibleInstances #-}
instance Foo String where
  ...

由于 String被完全应用。然而，有一个解决方法，因为类型是 curry 的，在某些情况下你可以写像

 type Arr = ((->) Int)

并为此创建实例，因为类型同义词已“完全应用”。

在这种情况下，不可能进行巧妙的 eta 转换，因此您将不得不使用新类型，

newtype SimplePair a = SimplePair {unSimplePair :: (a, a)}