Thoughts on type