getCurrentRule :: Monad m => InstanceBuilder a b m (Rule a b)
getCurrentRule = do rs <- getRules
                    i <- getCurrentRuleId
                    return $ fromJust $ lookup i rs

-- | Puts a new rule on the current id
getCurrentRule :: Monad m => InstanceBuilder a b m (Rule a b)
getCurrentRule = do rs <- getRules
                    i <- getCurrentRuleId
                    return $ fromJust $ lookup i rs

-- | Puts a new rule on the current id
getCurrentRule = do rs <- getRules
                    i <- getCurrentRuleId
                    return $ fromJust $ lookup i rs

-- | Puts a new rule on the current id