制作类型多态

Question

所以我正在定义一个基本列表的类型,我无法弄清楚如何使其变为多态.到目前为止我已经有了

module ListTup where
type ListTup = [(Char, String)]

我想知道是否有可能使Char部分可以成为任何ei String,无论如何.可能吗？我尝试使用Maybe Type但是我的方式却犯了很多错误

Answer 1

定义类型同义词时可以包含类型变量,如下所示:

type ListTup a = [(a, String)].