什么是[(类型,类型)]种类的居民？

Question

在ghci(8.2)上,

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

成功,但是

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

不,因为(Bool,Bool)(甚至像('True,False')这样的东西都有种类*.

我理解问题在于(,)构造函数,它构造了一个*Type.

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

Answer 1

你遗漏了一个反击,:k ('[ '(Bool,Bool)] :: [(Type,Type)])工作.你需要提升的元组构造函数和提升的列表构造函数.