Hugs> :a Control.Applicative
Control.Applicative> Just (4+) <*> Nothing
Nothing

Is it fine?

(I'm going to test it on mips64el.)