Refactor validity checking for constraints
[ghc.git] / testsuite / tests / typecheck / should_compile / T10177.hs
1 {-# LANGUAGE PolyKinds #-}
2 {-# LANGUAGE FlexibleContexts #-}
3 {-# OPTIONS_GHC -Wno-simplifiable-class-constraints #-}
4 -- This test deliberately uses a simplifiable class constraint
5
6 module T10177 where
7
8 import Data.Typeable
9
10 newtype V n a = V [a]
11
12 class Typeable a => C a
13 instance (Typeable (V n), Typeable a) => C (V n a)