https://guide.elm-lang.jp/types/custom_types.html一応読んだけど、そういうもんだという表面的な理解しか得られていない。うまく言語化できないけど、モヤモヤが残るかんじ。Elm本もパラレル読みして、もう少し掘り下げないといけない。†ある状況を非常に厳密に表現し始めるのにカスタム型は極めて強力です。データの状態をLoadingから始めて、フェッチに失敗したらFailure、成功したらSuccessというように何が起こったかに応じて状態を遷移させることができます。このような設計はview関数を書くのを本当にシンプルにします。データの状態がカスタム型で表現されているのでview関数はデータをロードしているときも常に妥当な見た目を表示することができます。一度でもより厳密にシナリオを設計しようとする習慣を持てば、カスタム型に非常に深みを感じるでしょう。わたしはこの深みを付録の「集合としての型」や「型のビット表現」で共有しようと試みています。うーん、型は状態を表す仕組みとしても使えるんだな?これはどういうことなのか?と常に頭の片隅に置きながら、さらにElmガイドを読み進めてみよう。「バリアント」という用語が出てきました。英語版のElmガイドでは「variant」というスペルでした。