Derive some Typeable instances.

src/Category.hs

@@ -30,7 +30,7 @@ data Category
   | ArrayLiteral
   -- | A non-standard category, which can be used for comparability.
   | Other String
-  deriving (Eq, Generic, Ord, Show)
+  deriving (Eq, Generic, Ord, Show, Typeable)
 
 
 -- Instances

src/Data/Record.hs

@@ -11,6 +11,7 @@ import Test.QuickCheck
 data Record :: [*] -> * where
   RNil :: Record '[]
   RCons :: h -> Record t -> Record (h ': t)
+  deriving Typeable
 
 infixr 0 .:
 

src/Info.hs

@@ -8,7 +8,7 @@ import Range
 import Test.QuickCheck
 
 newtype Cost = Cost { unCost :: Integer }
-  deriving (Eq, Num, Ord, Show)
+  deriving (Eq, Num, Ord, Show, Typeable)
 
 characterRange :: HasField fields Range => Record fields -> Range
 characterRange = getField

src/Range.hs

@@ -9,7 +9,7 @@ import Test.QuickCheck
 
 -- | A half-open interval of integers, defined by start & end indices.
 data Range = Range { start :: !Int, end :: !Int }
-  deriving (Eq, Show)
+  deriving (Eq, Show, Typeable)
 
 -- | Make a range at a given index.
 rangeAt :: Int -> Range