一元管道图分割流

这与这里的类型有关。 mapC 需要类型为的函数 a -> b 鉴于 mapMC 期望 a -> m b 例如: Monad m . 在这两种情况下,您都在使用 id 作为该函数,因此,您提供的任何输入都被视为 b 在第一个示例中,以及 m b 在第二个。因为你产生的价值是 [Char] ,这可以分解为:

• 第一个示例是字符列表上的纯转换
• 第二个例子是列表单子内单个字符上的一元变换

如果希望第二个示例的行为与第一个相同,请替换 身份证件 具有 pure (或 return ).