testsuite/tests/typecheck/should_fail/T20443b.hs


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

module T20443b where

import Data.Kind

data Proxy t where
  Proxy :: forall {k} (t :: k) . Proxy t

a :: () -> Proxy Int
-- a = Proxy @Type @Int -- This would, rightfully, not compile
a () = Proxy @Int

b :: Proxy Int -> ()
b (Proxy @Type @Int) = ()