{-# LANGUAGE ExistentialQuantification #-} module Types.Tangible where import Classes.Physics.Collectable (Collectable) data Tangible = forall a . Collectable a => Tangible a