Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T11278.hs
1 {-# LANGUAGE ConstraintKinds #-}
2
3 module A where
4
5 type K a = (Show a, Read a)
6 class K a => C a where