{-# LANGUAGE DataKinds, DeriveGeneric, TypeApplications #-}
module Test62 (example, example_) where
import Data.Generics.Product (field, field_, position, position_)
import Optics.Core
import GHC.Generics (Generic)

data Foo a = Foo { bar :: Bar a } deriving Generic
data Bar a = Bar { x :: a, y :: a } deriving Generic

example :: Foo ()
example =
  set (field @"bar" % position @1) ()
  . set (position @1 % field @"y") ()
  $ Foo{ bar = Bar{ x = (), y = () } }

example_ :: Foo ()
example_ =
  set (field_ @"bar" % position_ @1) ()
  . set (position_ @1 % field_ @"y") ()
  $ Foo{ bar = Bar{ x = (), y = () } }