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: 185

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

Related posts about haskell

Related posts about polymorphism