In (F (E, E), ∘) every permutation is regular. More generally, an injective application is regular on the left while a surjective application is regular on the right.
