testsuite/tests/dependent/should_fail/T14845_fail1.hs


1
2
3
4
5
6
7
8
9
10

{-# Language PolyKinds, DataKinds, KindSignatures, GADTs, TypeInType, ConstraintKinds #-}
module T14845_fail1 where

import Data.Kind

data Struct :: (k -> Constraint) -> (k -> Type) where
  S :: cls a => Struct cls a

data Foo a where
  F :: Foo (S::Struct Eq a)