diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Revision history for typed-fsm
 
+## 0.3.0.1-- 2024-8-04
+* Fix getSomeOperateSing remvoe (SingKind ts) Constraint
+
 ## 0.3.0.0-- 2024-7-25
 * Remove the SingI constraints from SomeMsg and AnyMsg.
 * Modify the definition of LiftM and remove the SingI constraints.
diff --git a/src/TypedFsm/Driver/Common.hs b/src/TypedFsm/Driver/Common.hs
--- a/src/TypedFsm/Driver/Common.hs
+++ b/src/TypedFsm/Driver/Common.hs
@@ -15,7 +15,7 @@
   = forall (i :: ts) (o :: ts).
     SomeOperate (Sing i) (Operate m (At a o) i)
 
-getSomeOperateSing :: (SingKind ts) => SomeOperate ts m a -> Sing (r :: ts)
+getSomeOperateSing :: SomeOperate ts m a -> Sing (r :: ts)
 getSomeOperateSing (SomeOperate si (_ :: Operate m ia i)) =
   unsafeCoerce si
 
diff --git a/typed-fsm.cabal b/typed-fsm.cabal
--- a/typed-fsm.cabal
+++ b/typed-fsm.cabal
@@ -20,7 +20,7 @@
 -- PVP summary:     +-+------- breaking API changes
 --                  | | +----- non-breaking API additions
 --                  | | | +--- code changes with no API change
-version:            0.3.0.0
+version:            0.3.0.1
 
 -- A short (one-line) description of the package.
 synopsis: A framework for strongly typed FSM