1 2 3 4 5 6 7 8 9
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE ExistentialQuantification #-} module T3468 where import T3468a data Tool d = forall a r . F a