Introduced times operator for regexp typeclass and demo