Playing with typesafe representations of optics - View it on GitHub