rename Token => Tok, Token reserved for later monadic use