में समानार्थी शब्द का उपयोग करना क्या समानार्थी शब्द का उपयोग मोनैड ट्रांसफार्मर के प्रकार कन्स्ट्रक्टर के तर्क के रूप में करना संभव है? विशेष रूप से, यदि एक लागू मोनैड ट्रांसफार्मर के लिए एक यूनरी प्रकार समानार्थी है, तो क्या इसे किसी अन्य मोनैड ट्रांसफॉर्मर में अंतर्निहित मोनैड के प्रकार के रूप में उपयोग किया जा सकता है?मोनैड ट्रांसफार्मर
-- Using type synonym of a monad transformer in another monad transformer.
import Control.Monad.Reader
-- inner transformer
type A a = ReaderT Int IO a
-- type B a = ReaderT String A a
{- Error:
readert2.hs:8:0:
Type synonym `A' should have 1 argument, but has been given 0
In the type synonym declaration for `B'
-}
-- type B a = ReaderT String (A a) a
{- Error:
readert2.hs:15:27:
Kind mis-match
The second argument of `ReaderT' should have kind `* -> *',
but `A a' has kind `*'
In the type `ReaderT String (A a) a'
In the type synonym declaration for `B'
-}
type B a = ReaderT String (ReaderT Int IO) a
{- OK -}
main = do
r <- flip runReaderT 39 $ do
n <- ask :: A Int
s <- flip runReaderT "foo" $ (ask :: B String)
return $ n + length s
print r
वहाँ एक रास्ता B a
की परिभाषा में प्रकार पर्याय A
विस्तार हो रहा से बचने के लिए है:
?