blob: 8541019f0e2b9228ba99cffb86ea90672e62e594 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE PatternSynonyms, ExistentialQuantification #-}
module ExQuant where
data Showable = forall a . Show a => Showable a
pattern Nasty{a} = Showable a
qux = a (Showable True)
foo = (Showable ()) { a = True }
|