blob: a20ae309584b1ddc4b89595952a5415a8821c397 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE ScopedTypeVariables, PolyKinds, MonoLocalBinds #-}
module T14066h where
import Data.Proxy
f :: forall b. b -> (Proxy Int, Proxy Maybe)
f x = (fst y :: Proxy Int, fst y :: Proxy Maybe)
where
y :: (Proxy a, b) -- MonoLocalBinds means this won't generalize over the kind of a
y = (Proxy, x)
|