Add `Applicative` contstraint where necessary

[none]