diff --git a/Types.hs b/Types.hs
index 4d1cde61b9..09c8adefd2 100644
--- a/Types.hs
+++ b/Types.hs
@@ -15,7 +15,6 @@ module Types (
 	RemoteGitConfig(..),
 	Remote,
 	RemoteType,
-	Option
 ) where
 
 import Annex
@@ -24,7 +23,6 @@ import Types.GitConfig
 import Types.Key
 import Types.UUID
 import Types.Remote
-import Types.Option
 
 type Backend = BackendA Annex
 type Remote = RemoteA Annex
diff --git a/Types/Option.hs b/Types/Option.hs
deleted file mode 100644
index f3b5ca9e10..0000000000
--- a/Types/Option.hs
+++ /dev/null
@@ -1,17 +0,0 @@
-{- git-annex command options
- -
- - Copyright 2011 Joey Hess <id@joeyh.name>
- -
- - Licensed under the GNU GPL version 3 or higher.
- -}
-
-module Types.Option where
-
-import System.Console.GetOpt
-
-import Annex
-
-{- Each dashed command-line option results in generation of an action
- - in the Annex monad that performs the necessary setting.
- -}
-type Option = OptDescr (Annex ())