From f3af7d31dc26ef204be8eed000b8b51621a369fc Mon Sep 17 00:00:00 2001
From: Roly Perera <roly.perera@dynamicaspects.org>
Date: Wed, 11 Oct 2023 14:41:01 +0100
Subject: [PATCH] =?UTF-8?q?=F0=9F=A7=A9=20[remove-unused]:=20Forgot=20to?=
 =?UTF-8?q?=20delete.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/Ann.purs | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 src/Ann.purs

diff --git a/src/Ann.purs b/src/Ann.purs
deleted file mode 100644
index 664a26c69..000000000
--- a/src/Ann.purs
+++ /dev/null
@@ -1,9 +0,0 @@
-module Ann where
-
-import Prelude
-
-erase :: forall t a. Functor t => t a -> Raw t
-erase = (<$>) (const unit)
-
-type 𝔹 = Boolean
-type Raw (c :: Type -> Type) = c Unit