1 files changed, 0 insertions, 30 deletions
diff --git a/testsuite/tests/polykinds/CatPairs.hs b/testsuite/tests/polykinds/CatPairs.hs
deleted file mode 100644
index 8ab709e754..0000000000
--- a/testsuite/tests/polykinds/CatPairs.hs
+++ /dev/null
@@ -1,30 +0,0 @@
-{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
-module CatPairs where
-import Control.Monad
-import Control.Category
-
--- Take from Twan van Laarhoven
---   http://twanvl.nl/blog/haskell/categories-over-pairs-of-types
-
-data Pipe i o u m r = Pipe { runPipe :: Either i u -> m (Either o r) }
-
-(>+>) :: Monad m
-      => Pipe io1 io2 ur1 m ur2
-      -> Pipe io2 io3 ur2 m ur3
-      -> Pipe io1 io3 ur1 m ur3
-(>+>) (Pipe f) (Pipe g) = Pipe (f >=> g)
-
-idP :: Monad m => Pipe i i r m r
-idP = Pipe return
-
-type family Fst (xy :: (*,*)) :: *
-type family Snd (xy :: (*,*)) :: *
-type instance Fst '(x,y) = x
-type instance Snd '(x,y) = y
-
-newtype WrapPipe m iu or = WrapPipe
-     { unWrapPipe :: Pipe (Fst iu) (Fst or) (Snd iu) m (Snd or) }
-
-instance Monad m => Category (WrapPipe m) where
-  id    = WrapPipe idP
-  x . y = WrapPipe (unWrapPipe y >+> unWrapPipe x)