Yet another implementation of parsing with derivatives a la Brzozowski