Adding Option Monad Transformer example
Adding Either Transformer example