什么是[（类型，类型）]种类的居民？

Question

关于ghci（8.2），

:k ('[] :: [(Type,Type)]) 

成功，但

:k ('[(Bool,Bool)] :: [(Type,Type)]) 

没有，因为（Bool，Bool）（甚至像（'True，False'）这样的东西都有*。

我理解问题在于（，）构造函数，它构造了一个* Type。

表示在类型级别强类型化的对列表的方法是什么？

Answer 1

你遗漏了一个反引号，:k ('[ '(Bool,Bool)] :: [(Type,Type)])有效。你需要提升的元组构造函数和提升的列表构造函数。