『プログラミングHaskell』の10章を読みました。 第10章 型とクラスの定義 どの章にも長い例題(実際はあんまり長くありません)がありますが，本章では，「恒真式検査」と「仮想マシン」を作成します。 恒真式とは，常に真となる命題のことで， は，常に真と…