haskell-jp / questions #96 at 2021-03-13 13:43:39 +0900

ちなみにこのコードは、形式検証をするために定理証明支援系Coqと呼ばれるもので記述したコードをHaskellのコードに変換したものになっています。

やりたい事はウェブアプリの形式検証ですか？

はい。webアプリの勉強も兼ねて、形式検証もやってみようという感じです。

Architecture型を定義したのは、「webアプリにおける形式検証とは何か」を定義するための「webアプリとは何か」を表す型が必要だったためです。
いろいろ混乱を招いてしまい、申し訳ありません。