good progress on checking instances of traits