ApplicativeDo: document behaviour with strict patterns (#13875)