Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / T3176.hs
1 {-# LANGUAGE ExistentialQuantification #-}
2
3 -- Trac #3176
4
5 module Foo where
6
7 data ES = forall a. Show a => ES {unES:: a}
8
9 smallPrintES f t = show $ unES $ f t