match ... as ... of -> match ... as ... with