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.icon
pursで