Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_fail / T13909.hs
1 {-# LANGUAGE PolyKinds #-}
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"