{-# LANGUAGE ExistentialQuantification #-} module Types.Tangible where data Tangible = forall a . Collidible a => Tangible a