/posts/2017-10-29-identity-in-lens-monadstateを開いてください。