Skip to content

Typeable instances should be kind-aware

{-# LANGUAGE DataKinds              #-}
{-# LANGUAGE AutoDeriveTypeable     #-}

import Data.Typeable

data A = A

main = print $ typeRep (Proxy :: Proxy A) == typeRep (Proxy :: Proxy 'A)

This returns True, but it should return False.

Edited by Ben Gamari
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information