>>668
訂正するならついでに MonadLoop も MonadFix に……