blob: df3db1c15d80881151dbf4b56f6827a88258d98d (
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) -- this generalizes over the kind of a
y = (Proxy, x)
|
