try using a Mapped proof. does not work: table.scala:148: could not find implicit value for parameter mapped: shapeless.ops.hlist.Mapped.Aux[shapeless.::[String,shapeless.::[Boolean,shapeless.::[java.util.Date,shapeless.HNil]]],[a]shapeless.examples.table.SelectNOrder[shapeless.::[String,shapeless.::[Boolean,shapeless.::[java.util.Date,shapeless.HNil]]],a],Out] -- [error]   val tableView = TableView(table,new On)