generated at
Discard型クラス
https://pursuit.purescript.org/packages/purescript-prelude/docs/Control.Bind#t:Discard

https://stackoverflow.com/questions/44941080/what-to-do-about-discard-in-purescript-do-notation
できなくなった？
https://jordanmartinez.github.io/purescript-jordans-reference-site/content/11-Syntax/05-Prelude-Syntax/src/01-Discard.html


IxMonadで使用時に上書き
purescript-react-basic-hooksはIxMonadでHooksの順序を規定する#6150213b198270000076f055
https://pursuit.purescript.org/packages/purescript-indexed-monad/2.0.1/docs/Control.Monad.Indexed.Qualified
https://github.com/garyb/purescript-indexed-monad/blob/v2.0.1/src/Control/Monad/Qualified.purs#L39-L43
https://github.com/garyb/purescript-indexed-monad/blob/v2.0.1/src/Control/Bind/Indexed.purs#L39-L43
手元で試していないというのもあり、なんでこれでRebindableSyntax相当のことができるのかよくわかっていない #??
理解したらpurescript-react-basic-hooksはIxMonadでHooksの順序を規定する#6150213b198270000076f055も修正してほしい
この記事にならってStateモナドをIndexed Stateモナドにしていくをpursでやれば小さく試せると思う
ただ、Stateモナドの復習しないといけないなmrsekut
pursで