scala - 検証制約をアンマーシャリングから分離する

Question

新しいプレイ検証 API を shapeless と組み合わせて説明しているこの記事を見つけました。ただし、コード スニペットを再作成することはできません (おそらく、どこからインポートすればよいかわからないためです)。

import play.api.libs.json._
import play.api.data.mapping._
import play.api.data.mapping.json._
import shapeless.ops.zipper._

case class User( email: String, password: String )

val reads = Rule.gen[JsValue, User]

// This line is based on code of the article but I'm not sure how to implement it
val validation = Get{ __ =>
  ( __ \ 'email ).read( email )
}

( reads compose validation ).validate( ... )

Getインスタンスを適切に作成するには? そして、このアプローチは、記事で示唆されているように、形状のないレンズとどのような関係があるのでしょうか?