８．各圏へのインスタンス化 前回の記事で、振舞いを次のように定義した。 newtype Behavior t a b = Behavior { stepBehavior :: t -> a -> (b,Behavior t a b) } この段階では、型として定義しただけなので、いろいろな性質を持たせるために、必要な型クラ…