Add a simple test suite

1 files changed, 22 insertions, 0 deletions

diff --git a/tests/extensions/TypeOperators.hs b/tests/extensions/TypeOperators.hs
new file mode 100644
index 00000000..aa0fbe8c
--- /dev/null
+++ b/tests/extensions/TypeOperators.hs
@@ -0,0 +1,22 @@
+module TypeOperators (
+  -- * stuff
+  (:-:),
+  (:+:),
+  Op,
+  O(..),
+  biO,
+  Flip(..)
+) where
+
+data a :-: b
+
+data (a :+: b) c
+
+data a `Op` b
+
+newtype (g `O` f) a = O { unO :: g (f a) }
+
+biO :: (g `O` f) a
+biO = undefined
+
+newtype Flip (~>) b a = Flip { unFlip :: a ~> b }