Start of a blog post about type specialized instances