diff --git a/Control/Monad/Royal.hs b/Control/Monad/Royal.hs
--- a/Control/Monad/Royal.hs
+++ b/Control/Monad/Royal.hs
@@ -37,7 +37,7 @@
 --
 class (RoyalReturn m r, RoyalReturn n r, RoyalReturn p r) => 
      RoyalMonad m n p r where
-  royalBind   :: m a -> (r a -> n a) -> p a
+  royalBind   :: m a -> (r a -> n b) -> p b
 
 
 
diff --git a/RoyalMonad.cabal b/RoyalMonad.cabal
--- a/RoyalMonad.cabal
+++ b/RoyalMonad.cabal
@@ -1,5 +1,5 @@
 Name:                RoyalMonad
-Version:             1000.7
+Version:             1000.9
 Synopsis:	     All hail the Royal Monad!
 Description:         All hail the Royal Monad!
 License:             BSD3