如何组合不同类型的Streamly流并兼容print操作？

你遇到的这个问题其实很好理解：Streamly里的<>运算符是基于Semigroup类型类实现的，它要求被组合的两个流必须是完全相同的类型——不仅流的构造器（比如SerialT）要一致，流里面的元素类型也得一模一样。你的第一个流是SerialT IO Int，第二个是SerialT IO [Char]，元素类型不匹配，所以编译器才会抛出类型错误。

下面给你几种实用的解决方案，你可以根据自己的需求选择：

方案一：先转成输出动作流再组合（最直接） #

既然你最终的目的是用print处理每个元素，那我们可以先把每个流转换成输出动作的流——也就是SerialT IO ()类型（因为print的返回值是IO ()）。这样两个流的类型就统一了，自然就能用<>组合：

runStream $ 
  ((readLn :: IO Int) |: nil & S.mapM print) 
  <> 
  ((readLn :: IO [Char]) |: nil & S.mapM print)

方案二：统一元素类型为String #

如果你还需要在组合流之后做其他操作，而不是直接打印，可以把所有元素都转换成String（借助show函数，所有实现了Show类型类的类型都能转成String）。这样两个流的类型都会变成SerialT IO String，组合后再按需处理：

runStream $ 
  ((readLn :: IO Int) |: nil & S.map show) 
  <> 
  ((readLn :: IO [Char]) |: nil & S.map id)  -- String本身就是Show实例，直接用id即可
  & S.mapM print

方案三：用存在类型包装（保留类型灵活性） #

如果需要保留元素的原始Show能力，同时允许不同类型的元素在同一个流中，可以用Haskell的存在类型来包装元素：

首先定义一个存在类型：

data Showable = forall a. Show a => Showable a

instance Show Showable where
  show (Showable x) = show x

然后把两个流的元素都包装成Showable类型，这样流的类型就统一为SerialT IO Showable了：

runStream $ 
  ((readLn :: IO Int) |: nil & S.map Showable) 
  <> 
  ((readLn :: IO [Char]) |: nil & S.map Showable)
  & S.mapM print

内容的提问来源于stack exchange，提问作者zoran119