I did not have the time to look at contracts in depth so far but I guess someone here has. Would it be possible to define a

filter

function which safely turns a

Pair<L, R?>

into a

Pair<L, R>

without the usage of an unchecked cast?