Hspec expectations for the lens stuff