Annotation for the polymorphic-UI effect.