Talk:Type environment