Dependent arguments should be explicit.
Remove the unused Applicative interface.