UpadatedField型クラス

Magic Type ClassesでHaskellのRecordに対して自動生成される

code:hs

class UpdateField (x :: Symbol) s t b | x t -> b, x s b -> t where

setField :: Proxy# x -> s -> b -> t