class S2(fn:(J)=>Any)
object S { new S2(_.k) }