customerId ::
  forall f rs. (Functor f, CustomerId ∈ rs) =>
  (Int -> f Int) -> Record rs -> f (Record rs)
customerId = rlens (Proxy :: Proxy CustomerId)


customerId ::
  forall f rs. (Functor f, CustomerId ∈ rs) =>
  (Int -> f Int) -> Record rs -> f (Record rs)
customerId = rlens (Proxy :: Proxy CustomerId)
customerId = rlens (Proxy :: Proxy CustomerId)