fun Ġ< NN : ĠAny , ĠN NN : ĠNN > Ġnon Mis leading Nullable ( ĊĠĠĠĠĠĠĠ Ġnn : ĠNN ?, ĊĠĠĠĠĠĠĠ Ġn nn : ĠN NN ? Ċ ) Ġ{} Ċ Ċ fun Ġ< T , ĠN : ĠT , ĠINDIRECT : ĠN > Ġmis leading Nullable Simple ( ĊĠĠĠĠĠĠĠ Ġt : ĠT ?, ĊĠĠĠĠĠĠĠ Ġt 2 : ĠT ?, ĊĠĠĠĠĠĠĠ Ġn : ĠN ?, ĊĠĠĠĠĠĠĠ Ġind : ĠINDIRECT ? Ċ ) Ġ{} Ċ Ċ fun Ġ< T > Ġinteraction With Red undant ( t : ĠT ? ?) Ġ{}