Polykinded NFData

Example how is possible to write polykinded type-classes in GHC-8.0. It's not that bad or messy, but I'm not sure it's practical either. But at the end you have

class NFData (a :: k) where
    rnfPoly :: NFDataSig k a  -- magic happens in NFDataSig type family

Gist source

• 2024-06-24 – hashable arch native
• 2024-05-28 – cabal fields
• 2024-04-21 – A note about coercions
• 2024-04-18 – What makes a good compiler warning?
• 2024-04-12 – Core Inspection

twitter github email linkedin stackoverflow