I need this function: take :: e -> Int -> Parser e s ShortText What it means is: take `n` bytes, validate that the byte sequence is a UTF-8 encoding of something, and then copy the bytes and put them in `ShortText`.