Add monad join
Add Either type