YoshikuniJujo on Nostr: setter的なものを定義するのに class s t where type B t set :: s -> B t -> t ...

setter的なものを定義するのに

class s t where
type B t
set :: s -> B t -> t

みたいに定義したけど、「何かちがう」ってなって

class s b where
type T b
set :: s -> b -> T b

みたいに直した。