ToTraversable[HNil, M[_], T] with T not Nothing

See https://github.com/milessabin/shapeless/issues/234