Make OptionT/LazyOptionT monad legal in ap/bind consistency

Fixes #579 for 7.1.  Passes tests from xuwei-k/scalacheck-issue75 mentioned therein.