blob: 4075d4845f6f60c150fb309c9c9393e22f76dea0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE TypeFamilies #-}
module Simple9 where
-- The test succeeds with
--
-- type family F a b
-- type instance F () b = Maybe b
type family F a :: * -> *
type instance F () = Maybe
type family G a
type instance G (Maybe a) = Int
foo :: G (F () a) -> Int
foo x = x
|