Marked monitored types with @monitor attr.