haskell - 为什么 `forall (a :: j) (b:: k)` 与 `forall (p :: (j,k))` 的工作方式不同？

问问题 2018-12-14T15:43:21.160

108 次

12

2 回答 2

3

于 2018-12-14T17:26:04.007 回答

3

于 2018-12-14T17:24:04.353 回答