Optics for F#

Laws

Coming Soon.