Delete the constraint of Applicative m