漂亮的异构参数打印列表

Question

我正在使用prettyprinter Haskell库，我有一组异构参数。我怎样才能抽象出这些长串联系呢？

pretty foo <+> pretty bar <+> pretty baz

请注意，我无法将foo，bar和baz放入列表中（例如，foldMap），因为它们可能是不同的类型。异构列表可能是一个解决方案，但我担心潜在的类型类开销。

我可以在这里申请成语吗？正确的字符串插值方法也很有用。