hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / tc255.hs
1 {-# LANGUAGE TypeFamilies, ConstraintKinds, UndecidableInstances #-}
2 module Ctx where
3
4 import Data.Kind ( Type, Constraint )
5
6 type family Indirect :: Type -> Constraint
7 type instance Indirect = Show
8
9 class Cls a where
10 f :: a -> String
11
12 instance Indirect a => Cls [a] where
13 f = show