What are uses of polymorphic kinds?
Posted
by sdcvvc
on Stack Overflow
See other posts from Stack Overflow
or by sdcvvc
Published on 2010-06-17T12:01:06Z
Indexed on
2010/06/17
12:03 UTC
Read the original article
Hit count: 183
Polymorphic kinds are an extension to Haskell's type system, supported by UHC, allowing
data A x y = A (x y)
to be typed (kinded?) as a -> (a -> *) -> *
. What are they useful for?
© Stack Overflow or respective owner