diff --git a/byg/byg.cabal b/byg/byg.cabal
index 7bac461..5bdb68b 100644
--- a/byg/byg.cabal
+++ b/byg/byg.cabal
@@ -19,8 +19,9 @@ library
     exposed-modules:
         Types
         Sources
-        Functions
+        FunctionImplementations
         ComputationM
+        Functions
     build-depends:
         base
       , mtl
diff --git a/byg/src/FunctionImplementations.hs b/byg/src/FunctionImplementations.hs
new file mode 100644
index 0000000..dfe20cf
--- /dev/null
+++ b/byg/src/FunctionImplementations.hs
@@ -0,0 +1,41 @@
+module FunctionImplementations
+  ( IsImageFilename(..)
+  , ConvertedImageFilename(..)
+  , ListDirectory(..)
+  , OpenImage(..)
+  , ConvertImage(..)
+  , SaveFile(..)
+  , RunPandoc(..)
+  ) where
+
+import Sources()
+import Types
+
+data IsImageFilename = IsImageFilename deriving (Show)
+instance IsFunction IsImageFilename FilePath Bool where
+  runF IsImageFilename _path = undefined
+
+data ConvertedImageFilename = ConvertedImageFilename deriving (Show)
+instance IsFunction ConvertedImageFilename FilePath FilePath where
+  runF ConvertedImageFilename _path = undefined
+
+
+data ListDirectory = ListDirectory deriving (Show)
+instance IsFunctionIO ListDirectory FilePath [FilePath] where
+  runFIO ListDirectory _path = undefined
+
+data OpenImage = OpenImage deriving (Show)
+instance IsFunctionIO OpenImage FilePath Image where
+  runFIO OpenImage _path = undefined
+
+data ConvertImage = ConvertImage deriving (Show)
+instance IsFunctionIO ConvertImage Image Image where
+  runFIO ConvertImage _image = undefined
+
+data SaveFile = SaveFile deriving (Show)
+instance IsFunctionIO SaveFile (String, FilePath) () where
+  runFIO SaveFile _source = undefined
+
+data RunPandoc = RunPandoc deriving (Show)
+instance IsFunctionIO RunPandoc String String where
+  runFIO RunPandoc _source = undefined
diff --git a/byg/src/Functions.hs b/byg/src/Functions.hs
index 3b1a2a1..5107fdd 100644
--- a/byg/src/Functions.hs
+++ b/byg/src/Functions.hs
@@ -9,39 +9,9 @@ module Functions
   , runPandoc
   ) where
 
-import Types
+import FunctionImplementations
 import ComputationM
 
-data IsImageFilename = IsImageFilename deriving (Show)
-instance IsFunction IsImageFilename FilePath Bool where
-  runF IsImageFilename _path = undefined
-
-data ConvertedImageFilename = ConvertedImageFilename deriving (Show)
-instance IsFunction ConvertedImageFilename FilePath FilePath where
-  runF ConvertedImageFilename _path = undefined
-
-
-data ListDirectory = ListDirectory deriving (Show)
-instance IsFunctionIO ListDirectory FilePath [FilePath] where
-  runFIO ListDirectory _path = undefined
-
-data OpenImage = OpenImage deriving (Show)
-instance IsFunctionIO OpenImage FilePath Image where
-  runFIO OpenImage _path = undefined
-
-data ConvertImage = ConvertImage deriving (Show)
-instance IsFunctionIO ConvertImage Image Image where
-  runFIO ConvertImage _image = undefined
-
-data SaveFile = SaveFile deriving (Show)
-instance IsFunctionIO SaveFile (String, FilePath) () where
-  runFIO SaveFile _source = undefined
-
-data RunPandoc = RunPandoc deriving (Show)
-instance IsFunctionIO RunPandoc String String where
-  runFIO RunPandoc _source = undefined
-
-
 isImageFilename = runFunction IsImageFilename
 convertedImageFilename = runFunction ConvertedImageFilename