diff --git a/lojbanParser.cabal b/lojbanParser.cabal
--- a/lojbanParser.cabal
+++ b/lojbanParser.cabal
@@ -2,7 +2,7 @@
 cabal-version:	>= 1.6
 
 name:		lojbanParser
-version:	0.1.5
+version:	0.1.6
 stability:	experimental
 author:		.iocikun.juj. <PAF01143@nifty.ne.jp>
 maintainer:	.iocikun.juj. <PAF01143@nifty.ne.jp>
diff --git a/src/TestPappy.hs b/src/TestPappy.hs
--- a/src/TestPappy.hs
+++ b/src/TestPappy.hs
@@ -287,14 +287,15 @@
 uncurry3 :: (a -> b -> c -> d) -> (a, b, c) -> d
 uncurry3 f (x, y, z) = f x y z
 
-isSimpleText :: [Clause] -> (Either [Clause] (Maybe [([String], String)]), [Free]) -> 
+isSimpleText ::
+	[Clause] -> (Either [Clause] (Maybe [([String], String)]), [Free]) -> 
 	Maybe (JoikJek, [Free]) -> Maybe Text -> Maybe Pre -> Bool
 isSimpleText n tp2 jj t f =
 	null n && isNothing (fromRight $ fst tp2) && null (snd tp2) &&
 	isNothing jj && isJust t && isNothing f
 
-fromRight :: Either a b -> b
-fromRight = either (const $ error "not Right") id
+fromRight :: Either a (Maybe b) -> Maybe b
+fromRight = either (const $ Nothing) id