我可以在haskell中列出类型列表吗？

Question

我有不同的数据类型，我已经定义了，我想让它们都成为一个类的实例。是否可以在其上创建类型列表和映射实例，而不必单独声明它们？

我的意思是这样的：

data Type1 = ...
data Type2 = ...

map (instance ClassName) [Type1, Type2]

Answer 1

实际上你可以用

之类的东西

{-# LANGUAGE TemplateHaskell #-}

module T where

class C a

data X = X
data Y = Y
data Z = Z

$(fmap concat $ mapM (\t -> [d|instance C $t|]) [[t|X|], [t|Y|], [t|Z|]])

但是除非你真的需要自动生成它们（例如，类型列表可能因某些事情而异），否则它会让我感觉像是大规模的过度杀伤。