Does JDK8’s Optional class satisfy the Monad laws? Yes, it does.

As recently came up in discussion:

Does JDK8’s Optional class satisfy the Monad laws?

Yes, it appears that it does.

Please see this gist for the details!