testsuite/tests/typecheck/should_fail/T17566c.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
module T17566c where

import Data.Kind

class C2 f z where
  type T2 (f :: k -> Type)
  data D2 (x :: (f :: k -> Type) a)