notogawa
むぅ
main = do
let p = Person { name = "Taro", age = 10 }
-- レコード要素へのアクセス
print $ p ^. #name
-- レコード要素への代入
print $ p & #age .~ 11RecordDotSyntax が普及したらその紹介事態が「最新多相レコード事情」になりますねw#age :: Person -> Int になるIsLabelインスタンスを使う、というのも手なのですが、 現状 instance (HasField x r a) => IsLabel x (r -> a) のインスタンス定義がない。class (Monad m, Applicative f) => Parallel f m | m -> f, f -> m where parallel :: m :~> f sequential :: f :~> m