From 74568402384cc7a01f61a37101da330e2142ce3c 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