Fix #13909 by tweaking an error message.
[ghc.git] / testsuite / tests / typecheck / should_fail / T13909.hs
1 {-# LANGUAGE TypeInType #-}
2 module T13909 where
3
4 import Data.Kind
5
6 data Hm (k :: Type) (a :: k) :: Type
7
8 class HasName (a :: k) where
9 getName :: proxy a -> String
10
11 instance HasName Hm where
12 getName _ = "Hm"