Make NFData (Proxy a) instance poly-kinded

haskell / deepseq

Deep evaluation of data structures

http://hackage.haskell.org/package/deepseq

Other

41 stars 28 forks source link

Make NFData (Proxy a) instance poly-kinded #9

Closed RyanGlScott closed 9 years ago

RyanGlScott commented 9 years ago

Currently, you can't do something like force (Proxy :: Proxy Maybe), since the NFData (Proxy a) instance assumes a :: *. Turning on PolyKinds on recent-enough GHCs allows the use of any kind.

glguy commented 9 years ago

:+1:

hvr commented 9 years ago

now we just need some Haddock "since"-comment as well as some changelog entry