l <<%= f = l %%= lenticular f  -- and other Control.Lens.Lens generalizations