請解釋類型同義詞

我在學習，所以可能是這是一個微不足道的問題。請解釋類型同義詞

在由耶索德腳手架工具生成的代碼我發現這個表達式：

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

回答