testsuite/tests/typecheck/should_fail/T18640a.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE StandaloneKindSignatures #-}

module T18640a where

import Data.Kind

type F2 :: forall a b. Type -> a
type family F2 :: forall b. Type -> Type where