search

ekmett / tagged

phantom types
http://hackage.haskell.org/package/tagged
BSD 3-Clause "New" or "Revised" License
37 stars 26 forks source link

Add note about PolyKinds #27

Closed phadej closed 9 years ago

phadej commented 9 years ago

That might prevent similar confusion I had (in haddock it's just Tagged s b, not Tagged (s :: k) b. Also instances list looks confusing: e.g. Traversable (Tagged k s).

phadej commented 9 years ago

Sorry for my bad English.

ekmett commented 9 years ago

Not a problem. =)