*type plus right+*right

Rules