blob: 96e75d90dabdba02912706db17026a6af6b57b1b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
{-# LANGUAGE TypeFamilies,
PolyKinds,
ScopedTypeVariables
#-}
module T5770 where
convert :: a -> b
convert = convert
type family Foo a
type instance Foo Int = Bool
barT5770 :: forall a b c dummya. (b -> c) -> Foo a -> a
barT5770 f = (convert f :: Foo a -> a)
barT5769 :: forall b a. b -> (a, Foo a)
barT5769 f = (convert f :: (a, Foo a))
barT5768 :: forall a b. b -> (a, Foo a)
barT5768 f = (convert f :: (a, Foo a))
|
