testsuite/tests/saks/should_fail/saks_fail009.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE PolyKinds, ExplicitForAll #-}

module SAKS_Fail009 where

import Data.Kind (Type)

type T :: forall k -> k -> Type
data T (k :: Type -> Type) (a :: k)