testsuite/tests/typecheck/should_fail/T13909.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE PolyKinds #-}
module T13909 where

import Data.Kind

data Hm (k :: Type) (a :: k) :: Type

class HasName (a :: k) where
  getName :: proxy a -> String

instance HasName Hm where
  getName _ = "Hm"