lift と Try を実装