“Types considered harmful” considered insightful (arcanesentiment.blogspot.it)