#71 pvrsidをより一般的なモナドに拡張した