weird interaction between object type composition and row varaibles

[bobzhang]

it is common that we define a closed object type, but use it as an extensible type:

type student = {"name": string}

let f = (param : {.. ...student}) => {..}

• This is weird, we need five dots to express this
• This is common pattern to express extensible row types.