Implement monadic read_bit