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.3
+version:	0.1.5
 stability:	experimental
 author:		.iocikun.juj. <PAF01143@nifty.ne.jp>
 maintainer:	.iocikun.juj. <PAF01143@nifty.ne.jp>
diff --git a/src/Language/Lojban/Parser.hs b/src/Language/Lojban/Parser.hs
--- a/src/Language/Lojban/Parser.hs
+++ b/src/Language/Lojban/Parser.hs
@@ -2,6 +2,7 @@
 	parse,
 	ParseError,
 	Text,
+	Clause,
 
 	Sentence(..),
 	Sumti(..),
diff --git a/src/TestPappy.hs b/src/TestPappy.hs
--- a/src/TestPappy.hs
+++ b/src/TestPappy.hs
@@ -59,7 +59,7 @@
 	| HeadNIhO [Clause] [Free] (Maybe Paragraphs)
 	| TopText [Clause] (Either [Clause] (Maybe [([String], String)])) [Free]
 		(Maybe (JoikJek, [Free])) (Maybe Text) (Maybe Pre)
-	deriving Show
+	deriving (Eq, Show)
 
 data Sumti
 	= TermsPEhETerms Term [(Clause, [Free], JoikJek, [Free], Term)]
@@ -91,12 +91,12 @@
 	| JoikEkKESumti Sumti JoikEk [Free] (Maybe Tag) Clause [Free] Sumti
 		(Maybe Clause) [Free]
 	| VUhO Sumti Clause [Free] RelativeClauses
-	deriving Show
+	deriving (Eq, Show)
 
 data TermsGikTerms
 	= TGT Term TermsGikTerms Term
 	| Gik Gik
-	deriving Show
+	deriving (Eq, Show)
 
 data SumtiTail
 	= SumtiSumtiTail Sumti (Maybe RelativeClauses) SumtiTail
@@ -104,7 +104,7 @@
 	| SelbriRelativeClauses Selbri (Maybe RelativeClauses)
 	| STQuantifierSelbri Quantifier Selbri (Maybe RelativeClauses)
 	| QuantifierSumti Quantifier Sumti
-	deriving Show
+	deriving (Eq, Show)
 
 data Selbri
 	= Brivla Clause [Free]
@@ -129,7 +129,7 @@
 	| NU Clause (Maybe Clause) [Free]
 		[(JoikJek, [Free], Clause, Maybe Clause, [Free])]
 		Sentence (Maybe Clause) [Free]
-	deriving Show
+	deriving (Eq, Show)
 
 type RelativeClauses = RelativeClause
 
@@ -137,17 +137,17 @@
 	= GOI Clause [Free] Term (Maybe Clause) [Free]
 	| NOI Clause [Free] Sentence (Maybe Clause) [Free]
 	| RelativeClauseZIhE RelativeClause [(Clause, [Free], RelativeClause)]
-	deriving Show
+	deriving (Eq, Show)
 
 type JoikJekSelbri5 = Either (JoikJek, [Free], Selbri)
 	(Joik, (Maybe Tag), Clause, [Free], Selbri, Maybe Clause, [Free])
 
 data Linkargs
 	= BE Clause [Free] Term (Maybe Links) (Maybe Clause) [Free]
-	deriving Show
+	deriving (Eq, Show)
 data Links
 	= BEI Clause [Free] Term (Maybe Links)
-	deriving Show
+	deriving (Eq, Show)
 
 type Quantifier = Operand
 type Mex = Operand
@@ -164,7 +164,7 @@
 		[Either (JoikJek, [Free], MexOperator)
 			(Joik, Maybe Tag, Clause, [Free], MexOperator,
 				Maybe Clause, [Free])]
-	deriving Show
+	deriving (Eq, Show)
 
 data Operand
 	= OLerfuString LerfuString (Maybe Clause) [Free]
@@ -183,14 +183,14 @@
 	| JOhI Clause [Free] [Mex] (Maybe Clause) [Free]
 	| GekOperand Gek Operand Gik Operand
 	| LAhE_NAhEOperand Clause (Maybe Clause) [Free] Operand (Maybe Clause) [Free]
-	deriving Show
+	deriving (Eq, Show)
 
 data RPExpression
 	= RPExpression Operand (Maybe RPExpressionTail)
-	deriving Show
+	deriving (Eq, Show)
 data RPExpressionTail
 	= RPExpressionTail RPExpression MexOperator (Maybe RPExpressionTail)
-	deriving Show
+	deriving (Eq, Show)
 
 type NumberLerfuString = [Clause]
 type Number = [Clause]
@@ -208,7 +208,7 @@
 		(Maybe RelativeClauses) (Maybe Clause)
 	| VocativeCmene [Clause] (Maybe RelativeClauses) [Clause] [Free]
 		(Maybe RelativeClauses) (Maybe Clause)
-	deriving Show
+	deriving (Eq, Show)
 
 type Clause = ([String], String, Indicators)
 type Pre = ([String], String)
@@ -226,12 +226,12 @@
 	| Gihek (Maybe Clause) (Maybe Clause) Clause (Maybe Clause)
 	| BIhI (Maybe Clause) Clause (Maybe Clause)
 	| GAhO Clause JoikJek Clause
-	deriving Show
+	deriving (Eq, Show)
 data Gek
 	= GA (Maybe Clause) Clause (Maybe Clause) [Free]
 	| JoikGI Joik Clause [Free]
 	| STagGik Tag Gik
-	deriving Show
+	deriving (Eq, Show)
 -- type Guhek = ([Clause], [Free])
 -- type Gik = ([Clause], [Free])
 type Guhek = (Maybe Clause, Clause, Maybe Clause, [Free])
@@ -242,7 +242,7 @@
 	= ROI Number Clause (Maybe Clause)
 	| TAhE Clause (Maybe Clause)
 	| ZAhO Clause (Maybe Clause)
-	deriving Show
+	deriving (Eq, Show)
 
 data Tag
 	= BAI (Maybe Clause) (Maybe Clause) Clause (Maybe Clause) (Maybe Clause)
@@ -261,7 +261,7 @@
 	| FIhO Clause [Free] Selbri (Maybe Clause) [Free]
 	| JoikJekTag Tag [(JoikJek, [Free], Tag)]
 	| JekJoikSTag Tag [(JoikJek, Tag)]
-	deriving Show
+	deriving (Eq, Show)
 
 data SpaceInterval
 	= FEhE [(Clause, IntervalProperty)]
@@ -269,11 +269,11 @@
 	| VEhAVIhAFAhA (Maybe Clause) (Maybe Clause) Clause (Maybe Clause)
 	| VEhAVIhAFEhE (Maybe Clause) (Maybe Clause) SpaceInterval
 	| VEhAVIhAFAhAFEhE (Maybe Clause) (Maybe Clause) Clause (Maybe Clause) SpaceInterval
-	deriving Show
+	deriving (Eq, Show)
 
 data SpaceOffset
 	= FAhA Clause (Maybe Clause) (Maybe Clause)
-	deriving Show
+	deriving (Eq, Show)
 
 {-
 main = do