1 files changed, 0 insertions, 19 deletions
diff --git a/src/Inky/Data/Irrelevant.idr b/src/Inky/Data/Irrelevant.idr
deleted file mode 100644
index ca72470..0000000
--- a/src/Inky/Data/Irrelevant.idr
+++ /dev/null
@@ -1,19 +0,0 @@
-module Inky.Data.Irrelevant
-
-public export
-record Irrelevant (a : Type) where
-  constructor Forget
-  0 value : a
-
-public export
-Functor Irrelevant where
-  map f x = Forget (f x.value)
-
-public export
-Applicative Irrelevant where
-  pure x = Forget x
-  f <*> x = Forget (f.value x.value)
-
-public export
-Monad Irrelevant where
-  join x = Forget (x.value.value)