Again, I see no particular reason to use `unr3` here; just pattern-match on `R3` directly.