Control.Lens.Simple
type
s
:->
a
type
s
:=>
a
type
s
:<->
a