testsuite/tests/typecheck/should_fail/T7696.hs


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

{-# LANGUAGE NoPolyKinds #-}

module T7696 where

f1 :: (m a, t m)
f1 = undefined

f2 :: ((), w ())
f2 = f1

{-
m :: * -> *
t :: (* -> *) -> *
a :: *
w :: * -> *

m a ~ ()
t m ~ w ()
-}