1 2 3 4 5 6
T15331.hs:(7,2)-(9,7): Splicing declarations [d| f :: Proxy (Int -> Int) f = Proxy @(Int -> Int) |] ======> f :: Proxy (Int -> Int) f = Proxy @(Int -> Int)