Talk:Type inference/to do