testsuite/tests/dependent/should_fail/T15591b.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE PolyKinds, MultiParamTypeClasses, DataKinds, TypeFamilies #-}

module T15591b where

import Data.Proxy
import Data.Kind

class C2 (a :: Type) (b :: Proxy a) (c :: Proxy b) where
  type T4 a c