explicit nominal type role annotation