Join checks if class include Monad module

``join`` check if class include ``Monad`` not if class is same.
Success and Some are unrelated! Success(Some(1)) remains Success(Some(1))