Implement maybe monad transform
Fix identity transform
Fix identity monad transform
Implement bind for sequence monad transform