From 310105ed48b3ef39c0688a99fc325f4aa0665d98 Mon Sep 17 00:00:00 2001 From: nek0 Date: Sat, 17 Apr 2021 05:12:19 +0200 Subject: [PATCH] start tangibles --- src/Types/Tangible.hs | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 src/Types/Tangible.hs 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