diff --git a/ma.cabal b/ma.cabal
index ea67db2e06853816b4b6b00fa83fc183b6af7817..9a80ef6a3c05ccb9a6029a5bdd5689427e276341 100644
--- a/ma.cabal
+++ b/ma.cabal
@@ -21,8 +21,6 @@ custom-setup
 library
   hs-source-dirs:      src
   exposed-modules:     Data.MorphismEncoding
-                     , MA.RefinementInterface
-                     , Data.Sort
                      , Data.RefinablePartition
                      , Data.Vector.Unboxed.Mutable.Utils
                      , Data.Vector.Utils
@@ -31,6 +29,7 @@ library
                      , Data.Partition
                      , Data.Partition.Common
                      , Data.OpenUnion
+                     , MA.RefinementInterface
                      , MA.Functors
                      , MA.Functors.Powerset
                      , MA.Functors.FixedProduct
diff --git a/src/Data/Sort.hs b/src/Data/Sort.hs
deleted file mode 100644
index c452246147092fdecc8ed79643dfd318e37145a0..0000000000000000000000000000000000000000
--- a/src/Data/Sort.hs
+++ /dev/null
@@ -1,16 +0,0 @@
-{-# LANGUAGE DataKinds #-}
-module Data.Sort
-  ( Sort
-  , Sorted
-  , SortTable
-  ) where
-
-import           Data.Vector (Vector)
-
-
-type Sort = Int
-
-type Sorted a = (Sort, a)
-
--- | This type maps sorts to 'a'
-type SortTable a = Vector a