Commits

Aleksey Khudyakov committed 22a83ef

Add Typeable instance to the S and Z

Comments (0)

Files changed (1)

Data/Vector/Fixed/Internal/Arity.hs

 {-# LANGUAGE TypeFamilies          #-}
 {-# LANGUAGE Rank2Types            #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE DeriveDataTypeable    #-}
 -- |
 -- Type class for working with N-ary functions
 module Data.Vector.Fixed.Internal.Arity (
   , applyM
   ) where
 
+import Data.Typeable (Typeable)
+
+
+
 ----------------------------------------------------------------
 -- Naturals
 ----------------------------------------------------------------
 
 -- | Type level zero
-data Z
+data Z   deriving Typeable
 -- | Successor of n
-data S n
+data S n deriving Typeable
 
 type N1 = S Z
 type N2 = S N1