whitespace

A parser that parses one white space character. Uses Char.isWhitespace.