testsuite/tests/typecheck/should_fail/T15474.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
module T15474 where

import Data.Kind (Type)

data Proxy a

type Forall = forall t. Proxy t

f1 :: forall (t :: Type). Proxy t
f1 = f1

f2 :: Forall
f2 = f1