１０．ブラをHaskellで記述する それでは、ブラをHaskellで実現することを考える。 １０．１ ブラをデータ型で定義する ケットと同じように、ブラも代数型データで表すことにしよう。ケットは7章で次のように定義した。 infixr 5 :+: data Ket a where KetZe…