diff --git a/src/Types/Tangible.hs b/src/Types/Tangible.hs new file mode 100644 index 0000000..fa51ee0 --- /dev/null +++ b/src/Types/Tangible.hs @@ -0,0 +1,4 @@ +{-# LANGUAGE ExistentialQuantification #-} +module Types.Tangible where + +data Tangible = forall a . Collidible a => Tangible a