Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_compile / Simple12.hs
1 {-# LANGUAGE TypeFamilies #-}
2
3 module Simple12 where
4
5 type family F a
6
7 same :: a -> a -> a
8 same = undefined
9
10 mkf :: a -> F a
11 mkf p = undefined
12
13 -- works with either of these signatures
14 -- foo :: a ~ F a => a -> a
15 -- foo :: a ~ F a => a -> F a
16 foo p = same p (mkf p)