Comment by eru

You can also write:

    liftA2 (+)

or

    (+) <$> a <*> b

if you have the right type-class instance.