Swap match order of <:forallL and <:forallR