2 files changed, 12 insertions, 4 deletions
diff --git a/src/Example/GMM.hs b/src/Example/GMM.hs
index 1db88bd..12bbd98 100644
--- a/src/Example/GMM.hs
+++ b/src/Example/GMM.hs
@@ -3,13 +3,10 @@
 {-# LANGUAGE TypeApplications #-}
 module Example.GMM where
 
+import Example.Types
 import Language
 
 
-type R = TScal TF64
-type I64 = TScal TI64
-type TVec = TArr (S Z)
-type TMat = TArr (S (S Z))
 
 -- N, D, K: integers > 0
 -- alpha, M, Q, L: the active parameters
diff --git a/src/Example/Types.hs b/src/Example/Types.hs
new file mode 100644
index 0000000..d63159b
--- /dev/null
+++ b/src/Example/Types.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE DataKinds #-}
+module Example.Types where
+
+import AST
+import Data
+
+
+type R = TScal TF64
+type I64 = TScal TI64
+type TVec = TArr (S Z)
+type TMat = TArr (S (S Z))