Removed completed TODO.
Removed completed TODO.

clhodapp/shapeless,lambdista/shapeless,roberth/shapeless,Atry/shapeless,khronnuz/shapeless,malcolmgreaves/shapeless,lukasz-golebiewski/shapeless,retronym/shapeless,isaka/shapeless,alexarchambault/shapeless,notxcain/shapeless,fthomas/shapeless,tek/shapeless,wheaties/shapeless,triggerNZ/shapeless,TomasMikula/shapeless,liff/shapeless,joescii/shapeless,milessabin/shapeless