diff --git a/src/Data/Abstract/Type.hs b/src/Data/Abstract/Type.hs
index 72c4db61a..feb73cb3a 100644
--- a/src/Data/Abstract/Type.hs
+++ b/src/Data/Abstract/Type.hs
@@ -19,6 +19,7 @@ data Type
   | TArr [Type]   -- ^ N-ary function types?
   deriving (Eq, Ord, Show)
 
+
 -- | Unify two 'Type's.
 unify :: MonadFail m => Type -> Type -> m Type
 unify Int  Int  = pure Int