diff --git a/polysemy-methodology.cabal b/polysemy-methodology.cabal
--- a/polysemy-methodology.cabal
+++ b/polysemy-methodology.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           polysemy-methodology
-version:        0.1.0.0
+version:        0.1.1.0
 synopsis:       Domain modelling algebra for polysemy
 category:       Polysemy
 author:         Daniel Firth
diff --git a/src/Polysemy/Methodology.hs b/src/Polysemy/Methodology.hs
--- a/src/Polysemy/Methodology.hs
+++ b/src/Polysemy/Methodology.hs
@@ -159,7 +159,7 @@
   Process _ -> return HNil
 
 -- | Factor a `Methodology` decomposed over an `HList` in the source by a `Methodology` from the first variable. Assumes the result is a `Monoid`.
-separateMethodologyTerminal :: forall x xs c r a.
+separateMethodologyTerminal :: forall x c xs r a.
                                (Monoid c,
                                Members '[ Methodology (HList xs) c
                                         , Methodology x c] r)
@@ -173,7 +173,7 @@
 
 -- | Finalise an `HList` separated `Methodology` in the source by returning the `Monoid` unit.
 endMethodologyTerminal :: Monoid c
-                       => Sem (Methodology (HList (x ': xs)) c ': r) a
+                       => Sem (Methodology (HList '[]) c ': r) a
                        -> Sem r a
 endMethodologyTerminal = interpret \case
   Process _ -> return mempty