请解释类型同义词

我在学习，所以可能是这是一个微不足道的问题。请解释类型同义词

在由耶索德脚手架工具生成的代码我发现这个表达式：

type YesodPersistBackend PersistTest = SqlPersist

我理解的是它创建一个参数化的类型YesodPersistBackend具有一个类型参数PersistTest，并且这等效于类型SqlPersist。

这是正确的吗？如果是这样，为什么会创建一个类型参数的同义类型没有参数？

2011-08-30 akonsu

此代码不是有效的Haskell。您能否向我们展示一些背景以便更容易看到，这可能意味着什么？ – fuz

这不是一个香草型的声明。如果你看到完整的代码，它看起来像这样 -

instance YesodPersist PersistTest where 
    type YesodPersistBackend PersistTest = SqlPersist

2011-08-30 13:22:17

回答