constrIndex :: Constr -> ConIndex
constrIndex con = case constrRep con of
                    (AlgConstr idx) -> idx
                    _ -> error "Data.Data.constrIndex"


-- | Gets the maximum constructor index of an algebraic datatype
constrIndex :: Constr -> ConIndex
constrIndex con = case constrRep con of
                    (AlgConstr idx) -> idx
                    _ -> error "Data.Data.constrIndex"


-- | Gets the maximum constructor index of an algebraic datatype
constrIndex con = case constrRep con of
                    (AlgConstr idx) -> idx
                    _ -> error "Data.Data.constrIndex"


-- | Gets the maximum constructor index of an algebraic datatype