Wrote down some thoughts about type tagging