`Applicative` constraint

[none]