diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Changelog for interval-algebra
 
+## 0.8.2 
+
+* Removes `Show` constraint from `intervals` function in `PairIntervals`.
+
 ## 0.8.1
 
 * Generalizes `gaps`, `gapsWithin`, and `combineIntervals` to take general `Intervallic` inputs but still return `Interval`s.
diff --git a/interval-algebra.cabal b/interval-algebra.cabal
--- a/interval-algebra.cabal
+++ b/interval-algebra.cabal
@@ -1,6 +1,6 @@
 cabal-version:  2.2
 name:           interval-algebra
-version:        0.8.1
+version:        0.8.2
 synopsis:       An implementation of Allen's interval algebra for temporal logic
 description:    Please see the README on GitHub at <https://github.com/novisci/interval-algebra>
 category:       Algebra,Time
diff --git a/src/IntervalAlgebra.hs b/src/IntervalAlgebra.hs
--- a/src/IntervalAlgebra.hs
+++ b/src/IntervalAlgebra.hs
@@ -655,7 +655,7 @@
 
 {- |
 The @'IntervalCombinable'@ typeclass provides methods for (possibly) combining
-two @i a@s to form a @'Maybe' 'i' a@, or in case of @><@, a possibly different 
+two @i a@s to form a @'Maybe' i a@, or in case of @><@, a possibly different 
 @Intervallic@ type.
 -}
 class (Intervallic i a) => IntervalCombinable i a where
diff --git a/src/IntervalAlgebra/PairedInterval.hs b/src/IntervalAlgebra/PairedInterval.hs
--- a/src/IntervalAlgebra/PairedInterval.hs
+++ b/src/IntervalAlgebra/PairedInterval.hs
@@ -51,7 +51,7 @@
 instance (Show b, Show a, Ord a) => Show (PairedInterval b a) where
     show x = "{" ++ show (getInterval x) ++ ", " ++ show (getPairData x) ++ "}"
 
-instance (Ord a, Show a, Eq b, Monoid b) => 
+instance (Ord a, Eq b, Monoid b) => 
           IntervalCombinable (PairedInterval b) a where
     (><) x y = fmap (makePairedInterval mempty) (getInterval x >< getInterval y)
 
@@ -74,7 +74,7 @@
 equalPairData x y = getPairData x == getPairData y
 
 -- | Gets the intervals from a list of paired intervals.
-intervals :: (Ord a, Show a) => [PairedInterval b a] -> [Interval a]
+intervals :: (Ord a) => [PairedInterval b a] -> [Interval a]
 intervals = map getInterval
 
 -- | Empty is used to trivially lift an @Interval a@ into a @PairedInterval@.