Post 'The case for scala structural typing'