我对 Haskell 还很陌生，为了变得更好，我正在尝试制作一个简单的 Web 服务器。我想让我表示页面的方式可扩展，所以我的想法是让网页成为可渲染数据的列表（比如如何制作在 Java 中实现某个接口的对象列表），其中 Renderable 是
class Renderable a where
render :: a -> IO String
不幸的是，我了解到列表必须是具体类型，所以我只能列出一种类型的可渲染数据。此外，创建受类型类约束的数据似乎是不可能的，所以我不能制作像 RenderList 数据这样的东西。我的临时解决方案是这样的：
myPage =
[render $ someData
,render $ someMoreData
,render $ someOtherData
...
]
但这感觉很尴尬，使使用类型类没有任何好处，并且感觉应该有更好的方法。所以我想知道有什么方法可以重组我必须更清洁、更符合标准 Haskell 实践并且仍然易于扩展的东西？
谢谢。
您正在尝试实现面向对象的设计风格。例如，在 Java 中，您将拥有 aList<Renderable>并且一切就绪。这种设计风格在 Haskell 中有点不自然；您需要为有界存在创建一个包装器类型，如存在类型的 Haskell wiki 页面上所示。例如：
class Renderable_ a where
render :: a -> IO String
data Renderable = forall a. Renderable_ a => Renderable a
instance Renderable_ Renderable where
render (Renderable a) = render a
然后，您可以获得一个 列表Renderable，您可以随意渲染它。不过，就像我说的那样，这是一种在 Haskell 中不太自然的 OO 风格。您可以通过重新考虑数据结构来避免这种情况。您说您“想要使您表示页面的方式可扩展”；考虑其他方法来代替。
无关：我猜render不需要产生IO String动作。IO如果可以的话，尽量避开设计的核心。
查看这个关于 haskell异构集合的页面。它提供了几种方法的想法。