blob: 07f24e7627e3f8d941f4653d723ddb6820622a0d (
plain)
1
2
3
4
5
6
7
8
|
{-# LANGUAGE ImpredicativeTypes, FlexibleContexts #-}
module T2846 where
f :: String
f = show ([1,2,3] :: [Num a => a])
-- Rejected with Quick Look
-- The arg of 'show' is a naked 'a'
-- And the actual arg has type (forall a. [Num a => a]), which is polymorphic
|
