Double parser was buggy, replaced with attoparsec's one