Add conversions between Applicative and Monoidal