でこのソース読むと OkのときStateが帰るからStateモナドといってよいと思う。
あるいはErrorTとStateを組み合わせて同じものを作ってみるのも良いかも