विभिन्न संकुल की haddocks ब्राउज़िंग का एक उदाहरण सूची मैं अक्सर उदाहरण दस्तावेजों है कि इस तरह दिखना साथ आ (Control.Category) में मतलब है: Category k (Coercion k)
Category * (->)
या इस (Control.Mo
f1 और f2 के बीच क्या अंतर है? $ ghci -XRankNTypes -XPolyKinds
Prelude> let f1 = undefined :: (forall a m. m a -> Int) -> Int
Prelude> let f2 = undefined :: (forall (a :: k) m. m a -> Int) -> Int
P
एक comment उपयोगकर्ता 2426021684 द्वारा मुझे जांच करने के लिए कि क्या यह एक प्रकार समारोह साथ आने के लिए F ऐसी है कि F c1 c2 fa दर्शाता संभव हो गया था नेतृत्व कि कुछ f और a के लिए: fa ~ f a c1 f c2 a