blob: c64c786b89954d5c97fd51125eb3973d4fb15b01 (
plain)
1
2
3
4
5
6
7
|
module Print031 where
newtype MkT2 a = MkT2 [Maybe a] deriving Show
data Phantom a = Phantom Int deriving Show
f :: t (Phantom a) -> Bool
f x = const False x -- const just to bring x into scope
|