diff --git a/tests/deriving/should_compile/AutoDeriveTypeable.hs b/tests/deriving/should_compile/AutoDeriveTypeable.hs
index 677356d05..52e6c3823 100644
--- a/tests/deriving/should_compile/AutoDeriveTypeable.hs
+++ b/tests/deriving/should_compile/AutoDeriveTypeable.hs
@@ -1,5 +1,7 @@
 {-# LANGUAGE AutoDeriveTypeable #-}
 {-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE DataKinds          #-}
+{-# LANGUAGE PolyKinds          #-}
 
 module AutoDeriveTypeable where
 
@@ -13,4 +15,5 @@ data B = B deriving Typeable
 data C = C
 deriving instance Typeable C
 
-test = [typeRep [A], typeRep [B], typeRep [C]]
+test = [ typeRep [A], typeRep [B], typeRep [C]
+       , typeRep (Proxy :: Proxy 'B), typeRep (Proxy :: Proxy 'C)]