Solved instance elaborated into record typing