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