module Rx::Check