path: root/testsuite/tests/typecheck/should_fail/T3176.hs

{-# LANGUAGE ExistentialQuantification #-}

-- #3176

module Foo where

data ES = forall a. Show a => ES {unES:: a}

smallPrintES f t = show $ unES $ f t