これ超ほしいと思います。 まずはMaybeモナドの説明から お察しの通りHaskllにあるものです。Maybeとは「必ず値を返さないといけない」宿命を背負ったHaskellの関数が、「値がないかもしれない」という値を返すために用いる型で、 値がある場合はJust a、な…