Right, that counts as attribute "type-checking", which is already #80.