1 2 3 4 5 6 7 8 9
{-# LANGUAGE ExistentialQuantification #-} -- #3176 module Foo where data ES = forall a. Show a => ES {unES:: a} smallPrintES f t = show $ unES $ f t