{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE ExistentialQuantification #-} module T3468 where import T3468a data Tool d = forall a r . F a