On Mon, Feb 20, 2017 at 10:27 PM, Artyom Shalkhakov <artyom.shalkhakov at gmail.com> wrote: > Thank you for the pointer. I guess creating a new package that depends on > urweb-regex is the way to go. I’m also happy to merge changes to urweb-regex. I think a richly-typed API like the one you’re looking for would be quite valuable in the regex library.