PureScript で Maybe a を a にする - Qiita をすこしだけ更新した。 fromJust を加えた。 Partial なのを理解した上で強引に抜き出す形だ。さすがに Data.Maybe はもう十分だ。maybe' や fromMaybe' は書いていないけれど、既定値の与え方が a から Unit ->…