在 monad 转换器中使用类型同义词

Question

是否可以使用类型同义词作为 monad 转换器类型构造函数的参数？特别是，如果应用的 monad 转换器有一个一元类型同义词，它是否可以用作另一个 monad 转换器中底层 monad 的类型？

据我所知，类型同义词不被接受为一流类型构造函数，请参阅下面的示例和错误消息：

-- 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 ？

Answer 1

类型同义词不能部分应用。在这种特定情况下，您可以编写

type A = ReaderT Int IO
type B a = ReaderT String A a

[或者甚至更好的 type B = ReaderT String A 以在另一个 monad 转换器中使用 B]

一般而言，如果不使用 newtype 则不可能进行转换/data，例如：

type A a = Reader a Int

不能等效地写为type A = ...。从某种意义上说，此功能相当于类型级别的 lambda \a ->读取一个 Int。