testsuite/tests/typecheck/should_compile/T18308.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE NoCUSKs #-}
{-# LANGUAGE TypeFamilies #-}
module T18308 where

import Data.Kind (Type)
import Data.Proxy (Proxy)

class Cls where
    type Fam (k :: Type) (a :: k) :: Type
    mtd :: Proxy k -> Proxy (a :: k) -> Fam k a -> Int