1 files changed, 4 insertions, 4 deletions

diff --git a/events/src/Events/Spec/Types.hs b/events/src/Events/Spec/Types.hs
index cc3c4e4..cfc6889 100644
--- a/events/src/Events/Spec/Types.hs
+++ b/events/src/Events/Spec/Types.hs
@@ -26,16 +26,16 @@ data Expr :: (* -> *) -> [*] -> * -> * where
 
 type family Val m a where
   Val m (a -> b) = Expr m '[a] b
-  Val m a        = m a
+  Val m  a       = m a
 
 type family Ctx m f where
   Ctx m (m a -> b) = (a ': Ctx m b)
-  Ctx m a = '[]
+  Ctx m  a         = '[]
 
 type family Fin m f where
   Fin m (m a -> b) = Fin m b
-  Fin m (m a) = a
-  Fin m a = a
+  Fin m (m a)      = a
+  Fin m  a         = a
 
 class Bindable m a where
   liftE :: a -> Expr m (Ctx m a) (Fin m a)