getRules :: Monad m => InstanceBuilder a b m [(Int, Rule a b)]
getRules = do (g, t, rs, r) <- get
              return rs

-- | Puts a new list of rules
getRules :: Monad m => InstanceBuilder a b m [(Int, Rule a b)]
getRules = do (g, t, rs, r) <- get
              return rs

-- | Puts a new list of rules
getRules = do (g, t, rs, r) <- get
              return rs

-- | Puts a new list of rules