Upgrade Monocle to 0.5.1

I upgraded Monocle to 0.5.1, and modified the deprecated method 'mkLens'.