Crush OptionT Apply and Applicative into Monad; make its ap sane.
Crush LazyOptionT Apply and Applicative into Monad; make its ap sane.
Merge pull request #581 from S11001001/topic/optiont-ap-bind-legal

Make OptionT/LazyOptionT monad legal in ap/bind consistency