Deriving recursive PreFolder TC with shapeless Lazy