Identity モナドで変換子じゃないバージョンも提供する