well,

let proceed = (y|Y)

would do all that 😄